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