HANDBOOK of logic in computer science / ed. by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum
Tipo de material: TextoSeries Oxford science publicationsDetalles de publicación: Oxford : Clarendon, 1992 Descripción: 2 vISBN: 0-19-853735-2; 0198537611; 0198537352Tema(s): Ordenadores | Lógica simbólica y matemática
Contenidos:
Contiene : T.I : Background : Mathematical structures. - XII, 827 p. - T.II : Background : Computational structures. - X, 571 p.
Tipo de ítem | Biblioteca de origen | Signatura | Info Vol | URL | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|
Monografías | 03. BIBLIOTECA INGENIERÍA PUERTO REAL | 681.3/HAN (Navegar estantería(Abre debajo)) | Vol.II | Texto completo | Disponible Ubicación en estantería | Bibliomaps® | 3700750256 | ||
Monografías | 03. BIBLIOTECA INGENIERÍA PUERTO REAL | 681.3/HAN (Navegar estantería(Abre debajo)) | Vol.I | Texto completo | Disponible Ubicación en estantería | Bibliomaps® | 3743661737 |
Total de reservas: 0
Contiene : T.I : Background : Mathematical structures. - XII, 827 p. - T.II : Background : Computational structures. - X, 571 p.
No hay comentarios en este titulo.