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 - 177 páginas 23 x 17 cm

978-607-7854-33-3


Programacion Logica