| 000 | 01081nam a2200289Ia 4500 | ||
|---|---|---|---|
| 001 | 3271 | ||
| 008 | 141126s2010 mx 00 0 spa d | ||
| 020 | _a9786077854333 | ||
| 040 |
_aPUCESD _bspa _erda |
||
| 082 | 0 | 4 |
_a004 _bL4988 2010 |
| 090 | _aPlanta Baja | ||
| 100 | 1 | _aLedesma, Luis de | |
| 245 | 1 | 0 |
_aLógica para la computación / _cLuis de Ledesma |
| 250 | _a1° Ed. | ||
| 264 | 1 |
_aMéxico : _bAlfaomega , _c2010 |
|
| 300 |
_a177 páginas ; _c23 cm. |
||
| 336 | _atxt | ||
| 337 | _an | ||
| 338 | _anc | ||
| 500 | _aFactura Educativa | ||
| 505 | 0 | _a1.- Teorias de Primer Orden 2.- Resolucion 3.- Elementos de Programacion Logica y PROLOG 4.- Definiciones y Demostraciones Inductivas 5.- Adecuacion de las tablas Analiticas 6.- Consideraciones elementales sobre la representacion del conocimiento con lenguajes de primer orden | |
| 526 | _aSistemas de la Información | ||
| 590 | _aJL | ||
| 650 | 0 | 4 | _aPROCESAMIENTO DE DATOS CIENCIAS DE LAS COMPUTADORAS |
| 650 | 0 | 4 | _aCALCULO PROPOSICIONAL Y DE PREDICADOS |
| 942 | 0 | 0 |
_00 _cBK |
| 999 |
_c202532 _d202532 |
||