TY  - BOOK
AU  - Kaufmann,Matt
AU  - Manolios,Panagiotis
AU  - Moore,J Strother
TI  - Computer-aided reasoning: an approach 
SN  - 0-7923-7744-3
AV  - QA76.9 .K38 2000
PY  - 2000///
CY  - Boston
PB  - Kluwer Academic Publishers
KW  - Formal methods (Computer science)
KW  - Sotware engineering
KW  - Expert systems (Computer science)
N1  - Includes bibliographical references (p. [257]-259) and index
ER  -