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 - 177 páginas : ilustraciones
9786077854333
Programación lógica
Prolog (Lenguaje de programación para computadora)
QA76.63 / L43
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 - 177 páginas : ilustraciones
9786077854333
Programación lógica
Prolog (Lenguaje de programación para computadora)
QA76.63 / L43