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  - 978-607-7854-33-3
PY  - 2010///
CY  - México 
PB  - Rama
KW  - INFORMATICA
KW  - LOGICA
ER  -