| 000 | 00699nam a2200205Ia 4500 | ||
|---|---|---|---|
| 008 | 231113s2010||||ag |||||||||||||| ||spa|| | ||
| 020 | _a9786077854333 | ||
| 080 | _a4 | ||
| 100 | _aDe Ledesma, Luis | ||
| 245 | 0 |
_aLogica para la Computacion, teorias de primer orden, resolucion y elementos de programacion logica y Prolog : _b / _cDe Ledesma, Luis |
|
| 250 | _a1a ed. | ||
| 260 |
_aMexico ; _bAjaomega , _c2010 |
||
| 300 |
_a180 p. ; _c23 cm : _f |
||
| 653 | _aADECUACION DE LAS TABLAS ANALITICAS | ||
| 653 | _aDEFINICIONES Y DEMOSTRACIONES EDUCATIVAS | ||
| 653 | _aELEMENTOS DE PROGRAMACION LOGICA Y PROLOG | ||
| 653 | _aRESOLUCION | ||
| 653 | _aTEORIAS DE PRIMER ORDEN | ||
| 942 | _cLIB | ||
| 999 |
_c18654 _d18654 |
||