Formal specification of complex reasoning systems

Author(s)

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

Bibliographic Information

Formal specification of complex reasoning systems

Jan Treur and Thomas Wetter

（Ellis Horwood workshop series）

Ellis Horwood, 1993

Note

"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."

Details

• NCID: BA2290443X
• ISBN:
  • 0133367851
• LCCN: 93011634
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York
• Pages/Volumes: viii, 282 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.76.E95
  • DC20 : 006.3/3
• Subject Headings:
  • LCSH : Expert systems (Computer science) -- Congresses
  • LCSH : Computer software -- Development -- Congresses
• Parent Bibliography ID:
  • BA20713102