Logic for applications / Anil Nerode, Richard A. Shore.
Tipo de material: TextoSeries Graduate texts in computer scienceDetalles de publicación: New York : Springer, 1997Edición: 2nd edDescripción: xiii, 456 p. : il. ; 24 cmISBN: 0387948937 (New York hc acid free paper); 9780387948935Tema(s): Computer science -- Mathematics | Logic, Symbolic and mathematicalClasificación LoC:QA76.9.M35 | N47 1997Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Libro | Biblioteca Central Tijuana | Acervo General | QA76.9 .M35 N47 1997 (Browse shelf(Abre debajo)) | 1 | Disponible | TIJ113496 | |
Libro | Biblioteca Central Tijuana | Acervo General | QA76.9 .M35 N47 1997 (Browse shelf(Abre debajo)) | 2 | Disponible | TIJ113497 | |
Libro | Biblioteca Central Tijuana | Acervo General | QA76.9 .M35 N47 1997 (Browse shelf(Abre debajo)) | 3 | Disponible | TIJ113498 | |
Libro | Biblioteca Central Tijuana | Acervo General | QA76.9.M35 N47 1997 (Browse shelf(Abre debajo)) | 4 | Disponible | TIJ124390 | |
Libro | Valle de las Palmas | Acervo General | QA76.9 .M35 N47 1997 (Browse shelf(Abre debajo)) | 1 | Disponible | PAL013035 |
Navegando Biblioteca Central Tijuana Estantes, Código de colección: Acervo General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
QA76.9 .M35 K65 Estructuras de matematicas discretas para la computacion / | QA76.9 .M35 K65 Estructuras de matematicas discretas para la computacion / | QA76.9 .M35 N47 1997 Logic for applications / | QA76.9 .M35 N47 1997 Logic for applications / | QA76.9 .M35 N47 1997 Logic for applications / | QA76.9 .M35 S2418 Matemáticas discretas / | QA76.9 .M35 S2418 Matemáticas discretas / |
Incluye referencias bibliográficas (p. 409-438) e índice.