Catálogo en línea

Vista normal Vista MARC Vista ISBD

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. - 1a ed. - México : Alfaomega, 2009. - 177 p. : il ; 23 cm.

Incluye referencias bibliográficas (p. [171]-174) e índice.

ISBN: 9786077854333

Subjects--Topical Terms:
Lógica computacional.

LC Class. No.: QA76.9.L63 / L43 2009