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 computacionalTipo 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.9.G37 2013 Simulación y análisis de sistemas con ProModel / | 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 / |
Incluye referencias bibliográficas (p. [171]-174) e índice.
No hay comentarios para este ítem.