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.
Por: De Ledesma, Luis
.
Tipo de material: 
LibroSeries ComputaciónProgramación. Editor: México : Alfaomega, 2009Edición: 1a ed.Descripción: 177 p. ; 23 cm.ISBN: 978-607-7854-33-3.Tema(s): Lógica matemática | Programación lógicaClasificación CDD: 005.131/
Contenidos parciales:
CONTENIDO: Teorías de primer orden - Resolución - Elementos de programación lógica y PROLOG.
| Tipo de ítem | Ubicación actual | Signatura | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
Libros
|
Biblioteca Central | 005.131/ D35 (Navegar estantería) | ej.1 | Disponible | 192341 | 010207000519 | |
|
Libros
|
Biblioteca Central | 005.131/ D35 (Navegar estantería) | ej.2 | Disponible | 192342 | 010207000520 | |
|
Libros
|
Biblioteca Central | 005.131/ D35 (Navegar estantería) | ej.3 | Disponible | 192343 | 010207000521 | |
|
Libros
|
Biblioteca Central | 005.131/ D35 (Navegar estantería) | ej.4 | Disponible | 192344 | 010207000522 |
Bibliografía: p.171-174.
CONTENIDO: Teorías de primer orden - Resolución - Elementos de programación lógica y PROLOG.
No hay comentarios para este ejemplar.