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
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, D.F. : Alfaomega, 2010 - 177 p. : il.
978-607-7854-33-3
Programación lógica 2. Prolog (Lenguaje de programación para computadora)
QA76.63 L3.3 2010
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, D.F. : Alfaomega, 2010 - 177 p. : il.
978-607-7854-33-3
Programación lógica 2. Prolog (Lenguaje de programación para computadora)
QA76.63 L3.3 2010
