Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y PROLOG
De Ledesma, Luis
Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y PROLOG - [México, México] Alfaomega 2010 - 177 p. 23 cm.
Bibliografía y sitios web: p.[171]-174
978-607-7854-33-3
LEBGUAJES DE PROGRAMACION - PROLOG
LOGICA MATEMATICA
164/D34l
Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y PROLOG - [México, México] Alfaomega 2010 - 177 p. 23 cm.
Bibliografía y sitios web: p.[171]-174
978-607-7854-33-3
LEBGUAJES DE PROGRAMACION - PROLOG
LOGICA MATEMATICA
164/D34l