Formal specification of complex reasoning systems
Subtitle: based on material from the International Workshop onFormal Specification Methods for Complex Reasoning Systems, Vienna, 1992, organized during ECAI'92 by the Artificial Intelligence Group, Vrije Universiteit Amsterdam
By: (edited by) Jan Treur and Thomas Wetter.
Contributors: Treur, Jan.; Wetter, Th.
Series: Ellis Horwood workshop series
Publisher: EllisHorwood
Published: 1993
Place of publication: New York; London
Language: eng
Number of pages: 282