Cover Image

Computer-aided reasoning : an approach /

Show other versions (1)
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)
Description
Physical Description:xv, 270 pages ; 25 cm.
Bibliography:Includes bibliographical references (pages [257]-259) and index.
ISBN:0792377443 (alk. paper)