TY  - BOOK
AU  - Wos, Larry
TI  - Automated reasoning: 33 basic research problems
SN  - 013054552X
U1  - 006.3 
PY  - 1988///
CY  - New Jersey
PB  - Prentice-Hall
KW  - Automatic theorem proving
KW  - Artificial intelligence
ER  -