Formal methods in artificial intelligence

著者

• Delahaye, Jean-Paul

書誌事項

Formal methods in artificial intelligence

by J.-P. Delahaye ; translated by J.Howlett ; foreword by Maurice Nivat

North Oxford, c1987

タイトル別名

Outils loguques pour l'intelligence artificielle

注記

Includes bibliography and index

Translation of: Outils loguques pour l'intelligence artificielle

詳細情報

• NII書誌ID(NCID): BA03713161
• ISBN:
  • 094653618X
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 原本言語コード: fre
• 出版地: London
• ページ数/冊数: vii, 205 p.
• 大きさ: 25 cm
• 分類:
  • LCC : Q335
  • DC19 : 006.3
• 件名:
  • PRECIS : Artificial intelligence
  • LCSH : Artificial intelligence
  • FREE : Artificial intelligence