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