TY  - BOOK
AU  - Kowalski,Robert
TI  - Lógica, programación e inteligencia artificial
SN  - 84-86251-43-5
PY  - 1986///
CY  - Madrid
PB  - Díaz de Santos
KW  - Programación de ordenadores
KW  - Lógica simbólica y matemática
N1  - Bibliografía
ER  -