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
Navegando Tecnológico de Estudios Superiores de Jocotitlán Estantes , Ubicación: Coleccion General , Código de colección: Colecion General Cerrar el navegador de estanterías
| QA76.9I58 S4518 2006 Diseño de interfaces de usuario : | QA76.9 K4A5 2005 Análisis y diseño de sistemas / | QA76.9.L63L43 2009 Lógica para la computación : | QA76.9.L63L43 2009 Lógica para la computación : | QA76.9.L63L43 2009 Lógica para la computación : | QA76.9.M35D37 2007 Discrete mathematical structures for computer scientists and engineers / | QA76.9.M35H867 2009 Essentials of discrete mathematics / |
Incluye referencias bibliográficas (p. [171]-174) e índice.
No hay comentarios para este ítem.