000 00565nam a2200181 a 4500
003 AR-ReUNN
005 20260702160042.0
008 260701s2010 mx |||||||||||||||||spa
020 _a978-607-7854-33-3
100 1 _aDe Ledesma, Luis
_9213229
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
264 1 _aMéxico
_bAlfaomega; Ra-Ma
_c2010
300 _a177 páginas
_c23 x 17 cm
650 4 _aProgramacion Logica
_9213230
942 _cLIB
035 _a(EXA)52303
001 276166
999 _c276166
_d276166
040 _aAR-ReUNN
_bspa
_cAR-ReUNN
_eaacr2