TY  - BOOK
AU  - Wos,Larry
TI  - Automated reasoning : : introduction and applications 
SN  - 0130544531
AV  - QA76.9.A96  A88 1984
PY  - 1984///
CY  - Englewood Cliffs, NJU. : 
PB  - Prentice-Hall, 
KW  - lemb
KW  - Inteligencia artificial
KW  - Programación (Computadores)
N1  - Incluy bibliografias e índice
ER  -