Logic for applications /

Guardat en:
Dades bibliogràfiques
Autor principal: Nerode, Anil (autor)
Altres autors: Shore, Richard A. (autor) (autor)
Format: Llibre
Idioma:anglès
Publicat: Nueva York, EUA : Springer, 1997, c1997
Edició:2a edición
Col·lecció:(Graduate Texts in Computer Science)
Matèries:
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
Detall dels fons de IT1
Signatura:
005. 131 NER
Ejemplar 0500009829
Disponible
Préstamo 7 días a 90
Col·lecció:
Colección General
Notes:
Ubicar en Nivel 1 Área de Colección General