TY  - BOOK
AU  - Wos,Larry
TI  - Automated reasoning: 33 basic research problems  
SN  - 013054552X
PY  - 1988///
CY  - Englewood Cliffs, N.J.
PB  - Prentice-Hall
KW  - Automatic theorem proving
KW  - Artificial intelligence
KW  - Electronic digital computers
KW  - Programming
ER  -