Computer-aided reasoning : an approach /

Bibliographic Details

Main Author:	Kaufmann, Matt
Other Authors:	Manolios, Panagiotis, Moore, J Strother, 1947-
Format:	Book
Language:	English
Published:	Boston : Kluwer Academic Publishers, [2000]
Series:	Advances in formal methods ; 3.
Subjects:	Formal methods (Computer science) Software engineering. Expert systems (Computer science)