TY  - BOOK
AU  - Wos,Larry
TI  - Automated reasoning: introduction and applications 
SN  - 007911251X
AV  - QA76.9.A96 A98 1992
PY  - 1992///
CY  - New York
PB  - McGraw-Hill
KW  - Teoremas autómaticos
KW  - Pruebas
KW  - lemb
KW  - Inteligencia artificial
KW  - Computadores electrónicos dígitales
N1  - Bibliografía : p. 639-642 e índice
ER  -