TY  - BOOK
AU  - Ledesma,Luis de
TI  - Lógica para la computación : : teorías de primer orden, resolución y elementos de programación lógica y PROLOG / 
SN  - 9786077854333
AV  - QA76.63  L43 2010
PY  - 2010///
CY  - México : 
PB  - Alfaomega Grupo Editor
KW  - Programación lógica
KW  - Prolog (Lenguaje de programación para computadora)
N1  - Incluye índice
UR  - http://www.unpa.edu.mx/bibliotecas/images/portadas/Tablas%20de%20contenido/4321.pdf
ER  -