TY  - BOOK
AU  - Wos,Larry,...[etal].
TI  - Automated reasoning: introduction and applications 
SN  - 0130544469
AV  - QA76.9.A96 A93 1992
PY  - 1992///
CY  - New York
PB  - McGraw-Hill
KW  - Comprobación automático
KW  - teoremas
KW  - Inteligencia artificial
KW  - Computadoras electrónicas digitales
KW  - programación
N1  - 1 ejemplar; Recursos propios; Incluye bibliografias e indice
ER  -