TY  - BOOK
AU  - Wos,Larry
AU  - Overbeek,Ross
AU  - Lusk,Ewing
AU  - Boyle,Jim
TI  - Automated reasoning: introduction and applications / 
SN  - 0130544469
PY  - 1984///
CY  - Englewood Cliffs, New Jersey : 
PB  - Prentice-Hall
KW  - Informática
N1  - Incluye bibliografía.
ER  -