TY  - BOOK
AU  - Kowalski,Robert
TI  - Lógica, programación e inteligencia artificial
SN  - 8486251435
AV  - QA63 K6818 1986
PY  - 1986///
CY  - España : 
PB  - Díaz de Santos, 
KW  - Solución de problemas
KW  - lemb
KW  - Lógica simbólica y matemática
KW  - Programación de computadoras
N1  - Traducción de:; Incluye referencias bibiográficas
ER  -