TY  - BOOK
AU  - Wos,Larry
AU  - Overbeek,Ross
AU  - Lusk,Ewing
TI  - Automated reasoning: introduction and applications 
SN  - 0130544469
AV  - QA76.9 .A96A93 1984
U1  - 001.535 
PY  - 1984///
CY  - New Jersey
PB  - Prentice-Hall
KW  - Automatic theorem proving Artificial intelligence Electronic digital computers
KW  - Programming
ER  -