Formal specification of complex reasoning systems /
Treur, Jan,1952-
Wetter, Thomas,1953-
Vrije Universiteit te Amsterdam.Artificial Intelligence Group.
International Workshop on Formal Specification(1992 :Vienna, Austria)
European Conference on Artificial Intelligence(10th :1992 :Vienna, Austria)
Hemel Hempstead : 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."
Expert systems (Computer science)
Computer software