Lógica para la computación : teorías de primer orden, resolución y elementos de progración lógica y prolog /
Luis de Ledesma.
- México : Alfaomega Grupo Editor, 2010
- 177 p.
Incluye referencias bibliográficas e índice.
9786077854333
Lenguajes de programación de computadores Lógica Matemática Lógica simbólica Matematicas--Programas para computador Matemáticas para computación