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
PY  - 2010///
CY  - México, D.F.
PB  - Alfaomega
KW  - Programación lógica
KW  - Prolog (Lenguaje de programación para computadora)
ER  -