TY  - BOOK
AU  - Kaufmann, Matt.
TI  - Computerr aided reasoning an approach
SN  - 0792377443 
U1  - 004.151 
PY  - 1994///
CY  - London
PB  - Kluwer Academic
KW  - Data processing computer science
ER  -