TY  - BOOK
AU  - De Ledesma,Luis
TI  - Lógica para la Computación: Teorías de Primer Orden, Resolución y Elementos de Programación Lógica y Prolog
SN  - 9786076077854333
U1  - 001.64 
PY  - 2010///
CY  - Mexico
PB  - Alfaomega
KW  - ALGORITMOS
KW  - BASES DE DATOS
KW  - LOGICA - COMPUTADORES
KW  - LENGUAJE  DE PROGRAMACION - PROLOG
N1  - Incluye Indice y Referencias
ER  -