TY  - BOOK
AU  - Wos, Larry,
TI  - Automated reasoning: 33 basic research problems 
SN  - 013054552x
AV  - QA76.9A96 W67
PY  - 1988///
CY  - Englewood cliffs, new jersey
PB  - Prentice Hall
KW  - Inteligencia artificial
KW  - Demostración automática de teoremas
KW  - Programación de computadoras
N1  - Volumen companero de: automated reasoning : introduction and applications / larry wos [y otros], c1984
ER  -