000 00626nam a2200193Ia 4500
001 103155
008 200505s9999 xx 000 0 und d
020 _a978-607-7854-33-3
040 _aEC-QuPUC
_bspa
082 0 4 _a164/D34l
100 1 _aDe Ledesma, Luis
245 0 _aLógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y PROLOG
260 _a[México, México]
_bAlfaomega
_c2010
300 _a177 p.
_b
_c23 cm.
504 _aBibliografía y sitios web: p.[171]-174
650 4 _aLEBGUAJES DE PROGRAMACION - PROLOG
650 4 _aLOGICA MATEMATICA
999 _c99516
_d99516
942 0 0 _00