Clausal form logic : an introduction to the logic of computer reasoning

著者

• Richards, Tom

書誌事項

Clausal form logic : an introduction to the logic of computer reasoning

Tom Richards

（International computer science series）

Addison-Wesley Pub. Co., c1989

注記

Includes bibliographies and index

詳細情報

• NII書誌ID(NCID): BA07053086
• ISBN:
  • 0201129205
• LCCN: 88026280
• 出版国コード: at
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Sydney ; Reading, Mass.
• ページ数/冊数: xiii, 359 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.76.E95
  • DC19 : 006.3
• 件名:
  • LCSH : Expert systems (Computer science)
  • LCSH : Artificial intelligence
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Reasoning
• 親書誌ID:
  • BA00203522