TY  - BOOK
AU  - Kowalski,Robert
TI  - Logic for problem solving / 
T2  - Artificial intelligence series ; 
SN  - 0444003681
PY  - 1979///
CY  - New York : 
PB  - Elsevier, 
KW  - PROBLEM SOLVING
KW  - ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
KW  - LOGIC SYMBOLIC
KW  - MATHEMATICA
KW  - PROGRAMACION DE COMPUTADORAS
KW  - PROBLEMAS-RESOLUCION
KW  - LOGICA SIMBOLICA
KW  - LOGICA MATEMATICA
ER  -