TY  - GEN
AU  - Wos, Larry
TI  - Automated Reasoning: 33 basic research problems
SN  - 013054552X
U1  - 006.3 
PY  - 1988///
CY  - New Jersey
PB  - Prentice Hall
KW  - ARTIFICIAL INTELLIGENCE
KW  - AUTOMATIC THEOREM PROVING
KW  - COMPUTER PROGRAMMING
KW  - COMPUTER SCIENCE
ER  -