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  - 978607785433
PY  - 2010///
CY  - México, D.F., México
PB  - Alfaomega
KW  - TEORIAS DE PRIMER ORDEN - META TEOREMAS - COMPLETUD - CONSISTENCIA - DECIBILIDAD - CLAUSULAS DE HORN - FORMAS PRENEX - SKOLEM . TEORIA DE HERBRAND - PROLOG - RESOLUCION SLD - DEFINICIONES INDUCTIVAS -
N1  - INFORMATICA
ER  -