Handbook of logic in computer science / Ed. by s. abramsky, dov m. gabbay, and t.s.e. maibaum
Tipo de material: TextoEditor: Oxford : Clarendon Press, 1900-9999Descripción: volúmenesTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenTema(s): Computadoras | Lógica simbólica y matemáticaClasificación LoC:QA76 | H339
Contenidos:
Contenido: v. 1. background : mathematical structures -- v. 2. background, computational structures
Tipo de ítem | Biblioteca actual | Colección | Clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|
Libros | Libros Libros | General | QA76 H339 (Navegar estantería(Abre debajo)) | 1 | Disponible | 4706 | ||
Libros | Libros Libros | General | QA76 H339 (Navegar estantería(Abre debajo)) | 1 | Disponible | 4707 | ||
Libros | Libros Libros | General | QA76 H339 (Navegar estantería(Abre debajo)) | 1 | Disponible | 4708 | ||
Libros | Libros Libros | General | QA76 H339 (Navegar estantería(Abre debajo)) | 1 | Disponible | 4857 |
Total de reservas: 0
Navegando Libros Estantes, Ubicación: Libros, Código de colección: General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
QA76 F85 1999 Fundamentos de informática / | QA76 G345 2006 Guía de introducción a la informática / | QA76 G39 Curso general de informatica / | QA76 H339 Handbook of logic in computer science / | QA76 H339 Handbook of logic in computer science / | QA76 H339 Handbook of logic in computer science / | QA76 H339 Handbook of logic in computer science / |
Contenido: v. 1. background : mathematical structures -- v. 2. background, computational structures
No hay comentarios en este titulo.