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
U1  - 004.015 1 
PY  - 2010///
CY  - México, D.F., México
PB  - Ra-Ma
KW  - Programación (Matemáticas)
KW  - Programación lógica (Computadores electrónicos)
KW  - Lógica simbólica y matemática
KW  - Estructura de datos (Computadores)
N1  - Incluye índice; Incluye bibliografía.; Teorías de primer orden -- Resolución -- Elementos de programación lógica y prolog -- Apéndices.
ER  -