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  - QA 76.63 L43.2010
PY  - 2010///
CY  - México, D.F.
PB  - Alfaomega, Ra-Ma
KW  - Programación lógica
KW  - Lógica de primer orden
KW  - PROLOG (Lenguaje de programación)
N1  - Bibliografía: p. [171]-174 e índice
ER  -