TY  - BOOK
AU  - Wos, Larry
TI  - Automated reasoning: introduction and applications
U1  - 001.535 
PY  - 1984///
CY  - Englewwod Cliffs, New Jersey
PB  - Prentice-Hall
KW  - Automatic Thorem Proving
KW  - Artificial Intelligence
KW  - Electronic Digital Computers -- Programming
ER  -