TY  - BOOK
AU  - Ledesma,Luis de
TI  - Lógica para la computación : : Teorías de primer orden, resolución y elementos de programación lógica y PROLOG
SN  - 9786077854333
U1  - 005.113 21
PY  - 2010///
CY  - México
PB  - Alfaomega
KW  - Programación logica
KW  - lógica de primer orden
KW  - PROLOG
KW  - Lenguajes de programación computadores
ER  -