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  - 9788478979387
PY  - 2009///
CY  - Madrid, España
PB  - Ra-Ma
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  -