Formal specification of complex reasoning systems

著者

• Treur, Jan
• Wetter, Thomas
• International Workshop on Formal Specification
• European Conference on Artificial Intelligence
• Vrije Universiteit te Amsterdam. Artificial Intelligence Group

書誌事項

Formal specification of complex reasoning systems

Jan Treur and Thomas Wetter

（Ellis Horwood workshop series）

Ellis Horwood, 1993

注記

"Based on the material from the International Workshop on Formal Specification Methods for Complex Reasoning Systems, Vienna, 1992, organized during ECAI'92 by the Artificial Intelligence Group, Vrije Universiteit Amsterdam."

詳細情報

• NII書誌ID(NCID): BA2290443X
• ISBN:
  • 0133367851
• LCCN: 93011634
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: New York
• ページ数/冊数: viii, 282 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.76.E95
  • DC20 : 006.3/3
• 件名:
  • LCSH : Expert systems (Computer science) -- Congresses
  • LCSH : Computer software -- Development -- Congresses
• 親書誌ID:
  • BA20713102