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: Ledesma, Luis de.
Tipo de material:
LibroEditor: México : Alfaomega, 2009Edición: 1a ed.Descripción: 177 p. : il ; 23 cm.ISBN: 9786077854333.Materia(s): Lógica computacional
| Tipo de ítem | Ubicación actual | Colección | Signatura | Copia número | Estado | Notas | Fecha de vencimiento | Reserva de ejemplares |
|---|---|---|---|---|---|---|---|---|
Libro
|
Tecnológico de Estudios Superiores de Jocotitlán Coleccion General | Colecion General | QA76.9.L63L43 2009 (Navegar estantería) | 1 | No para préstamo | Este libro no sale de la biblioteca. Edit | ||
|
Libro
|
Tecnológico de Estudios Superiores de Jocotitlán Coleccion General | Colecion General | QA76.9.L63L43 2009 (Navegar estantería) | 2 | Disponible | |||
|
Libro
|
Tecnológico de Estudios Superiores de Jocotitlán Coleccion General | Colecion General | QA76.9.L63L43 2009 (Navegar estantería) | 3 | Disponible |
Reservas Totales: 0
Incluye referencias bibliográficas (p. [171]-174) e índice.
No hay comentarios para este ítem.