Vista normal Vista MARC Vista ISBD

Ledesma, Luis de

Lógica para la Computación : Teoría de primer orden, resolución y elementos de programación lógica y prolog / Luis de Ledesma - México : Alfaomega, 2010. - 177p. ; 17 x 23 cm.

Incluye índice. índice alfabéticoy referencias

1. Teorías de primer orden -- 2. Resolución -- 3. Elementos de programación lógica y prolog

ISBN: 9786077854333

Subjects--Topical Terms:
Computación - Programación

Dewey Class. No.: 005.101 / L4988l 2010