Formal specification of complex reasoning systems /

Bibliographic Details
Corporate Authors:	International Workshop on Formal Specification, European Conference on Artificial Intelligence, Vrije Universiteit Amsterdam. Artificial Intelligence Group
Other Authors:	Treur, Jan, 1952-, Wetter, Thomas, 1953-
Format:	Conference Proceeding Book
Language:	English
Published:	New York : Ellis Horwood, 1993.
Series:	Ellis Horwood series in workshops.
Subjects:	Expert systems (Computer science) > Congresses. Computer software > Development > Congresses.

Description
Item Description:	"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."
Physical Description:	viii, 282 pages : illustrations ; 24 cm.
ISBN:	0133367851