Deduction : automated logic

著者

• Bibel, Wolfgang
• Hölldobler, Steffen
• Neugebauer, Gerd
• Lekuse, Monika
• Sannella, Donald

書誌事項

Deduction : automated logic

by Wolfgang Bibel ; with the assistance of Steffen Hölldobler and exercises by Gerd Neugebauer ; translated by Monika Lekuse with the assistance of Donald Sannella

Academic Press, c1993

注記

Bibliography: p. 223-239

Includes index

詳細情報

• NII書誌ID(NCID): BA20266911
• ISBN:
  • 012095835X
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 原本言語コード: ger
• 出版地: London ; Tokyo
• ページ数/冊数: 253 p
• 大きさ: 24 cm