Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y prolog / Luís de Ledesma.
Language: Spanish Publisher: México Afaomega 2009Description: 177 p. il. ; 23 cmISBN: 9786076077854333Subject(s): Informática -- Matemáticas | Programación lógica | Estructura de datos (Informática) | Lógica simbólica y matemática | Funciones calculablesDDC classification: 004.0151Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Libro General | Biblioteca CENDA | General | 004.0151 L33l (Browse shelf) | Ej. 1 | Available | 06104 |
Total holds: 0
Incluye referencias bibliográficas e índice.
There are no comments on this title.