TY  - BOOK
AU  - De Ledesma, Luis
TI  - Logica para la Computacion, teorias de primer orden, resolucion y elementos de programacion logica y Prolog : :  / 
SN  - 9786077854333
PY  - 2010///
CY  - Mexico ; 
PB  - Ajaomega , 
KW  - ADECUACION DE LAS TABLAS ANALITICAS
KW  - DEFINICIONES Y DEMOSTRACIONES EDUCATIVAS
KW  - ELEMENTOS DE PROGRAMACION LOGICA Y PROLOG
KW  - RESOLUCION
KW  - TEORIAS DE PRIMER ORDEN
ER  -