Deduction systems in artificial intelligence

著者

• Bläsius, Karl Hans
• Bürckert, Hans-Jürgen

書誌事項

Deduction systems in artificial intelligence

editors, Karl Hans Bläsius, Hans-Jürgen Bürckert

（Ellis Horwood series in artificial intelligence）

Ellis Horwood Limited , Halsted Press, 1989

• : E. Horwood
• : Halsted Press

タイトル別名

Deduktionssysteme

注記

Translation of: Deduktionssysteme

Includes bibliograpical references

詳細情報

• NII書誌ID(NCID): BA07549682
• ISBN:
  • 0745804098
  • 047021550X
• LCCN: 89019907
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 原本言語コード: ger
• 出版地: Chichester, [England],New York
• ページ数/冊数: 238 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.9.A96
  • DC20 : 511.3
• 件名:
  • LCSH : Automatic theorem proving
  • LCSH : Artificial intelligence
• 親書誌ID:
  • BA00008753