Formal specification of complex reasoning systems
By: Jan Treur and Thomas Wetter.
Contributors: Treur, Jan, 1952-; Wetter, Thomas, 1953-; Vrije Universiteit te Amsterdam. Artificial Intelligence Group.; European Conference on Artificial Intelligence. (10th : 1992 : Vienna, Austria); International Workshop on Formal Specification Methods for Complex Reasoning Systems (1992 : Vienna, Austria)
Series: Ellis Horwood series in workshops
Publisher: Ellis Horwood
Published: 1993
Place of publication: New York
Language: eng
Number of pages: 282
Subjects: Computer software -- Development -- Congresses.; Expert systems (Computer science) -- Congresses.
Notes: "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."

Includes bibliographical references.