Lógica para la computación :
Ledesma, Luis de
Lógica para la computación : Teorías de primer orden, resolución y elementos de programación lógica y PROLOG Luis de Ledesma - México Alfaomega 2010 - 177 p. : 23 cm.
9786077854333
Programación logica
lógica de primer orden
PROLOG--Lenguajes de programación computadores
005.113 / L473
Lógica para la computación : Teorías de primer orden, resolución y elementos de programación lógica y PROLOG Luis de Ledesma - México Alfaomega 2010 - 177 p. : 23 cm.
9786077854333
Programación logica
lógica de primer orden
PROLOG--Lenguajes de programación computadores
005.113 / L473