TY  - BOOK
AU  - Wos, Larry
TI  - Automated reasoning: 33 basic research problems
SN  - 013034552x
U1  - 001.535 
PY  - 1988///
CY  - Englewood Cliffs
PB  - Prentice Hall
KW  - Automatic Theorem Proving
KW  - Artificial Intelligence
KW  - Automated Reasoning
N1  - Companion Vol. To: Automated Reasoning: Introduction And Applications
ER  -