Logic for applications /

Guardado en:
Detalles Bibliográficos
Autor principal: Nerode, Anil
Otros Autores: Shore, Richard A.
Formato: Libro
Lenguaje:inglés
Publicado: New york : Springer-Verlag, 1997.
Edición:2nd ed.
Colección:Graduate texts in computer science
Materias:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!