Normal view MARC view ISBD view

Ledesma, Luis de

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.

ISBN: 9786077854333

Subjects--Topical Terms:
Lenguajes de programación de computadores
Lógica Matemática
Lógica simbólica
Matematicas--Programas para computador
Matemáticas para computación

Dewey Class. No.: 005.131 L473L