000 | 00803nam a2200229zi 4500 | ||
---|---|---|---|
005 | 20220221131702.0 | ||
008 | 100429s2010 mx a 000 0 spa d | ||
020 | _a9786077854333 | ||
035 | _aMX001001213796 | ||
040 |
_aUNAMX _bspa _cUNAMX |
||
050 | 4 |
_aQA76.63 _bL43 |
|
100 | 1 |
_aLedesma, Luis de, _eautor |
|
245 | 1 | 0 |
_aLógica para la computación : _bteorías de primer orden, resolución y elementos de programación lógica y prolog / _cLuis de Ledesma |
264 | 1 |
_aMéxico, D.F. : _bAlfaomega, _c2010 |
|
300 |
_a177 páginas : _bilustraciones |
||
650 | 4 | _aProgramación lógica | |
650 | 4 | _aProlog (Lenguaje de programación para computadora) | |
336 |
_atexto _2rdacontent |
||
337 |
_asin medio _2rdamedia |
||
338 |
_avolumen _2rdacarrier |
||
999 |
_c20556 _d20556 |