| 000 | 00704nam a2200169Ia 4500 | ||
|---|---|---|---|
| 008 | 230410s9999 xx 000 0 und d | ||
| 020 | _a9788478979387 | ||
| 100 | 1 | _aDe Ledesma, Luis | |
| 245 | 1 | 0 |
_aLógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y PROLOG _cDe Ledesma, Luis |
| 250 | _a1a. ed. | ||
| 260 |
_bRa-Ma _c2009 _aMadrid _aEspaña |
||
| 300 | _a177 | ||
| 521 | _aINFORMATICA | ||
| 546 | _aESPAÑOL | ||
| 650 | 4 | _xTEORIAS DE PRIMER ORDEN - META TEOREMAS - COMPLETUD - CONSISTENCIA - DECIBILIDAD - CLAUSULAS DE HORN - FORMAS PRENEX - SKOLEM . TEORIA DE HERBRAND - PROLOG - RESOLUCION SLD - DEFINICIONES INDUCTIVAS - | |
| 999 |
_c49265 _d49265 |
||
| 040 | _aAR-CtUCP | ||