TY  - BOOK
AU  - Kaufmann, Matt
AU  - Manolios, Panagiotis
AU  - Moore, J Strother
TI  - Computer-aided reasoning : an approach
SN  - 9780792377443
SN  - 38636
U1  - 004.0151 KAU 
PY  - 2000///
CY  - Deventer, The Netherlands ; Boston, MA
PB  - Kluwer Academic Publishers
KW  - Expert systems (Computer science)
KW  - Formal methods (Computer science)
KW  - Sotware engineering
N1  - Includes bibliographical references (p. [257]-259) and index
ER  -