Logic for applications /

Sparad:
Bibliografiska uppgifter
Huvudskapare: Nerode, Anil
Övriga skapare: Shore, Richard A.
Materialtyp: Bok
Språk:engelska
Publicerad: New york : Springer-Verlag, 1997.
Upplaga:2nd ed.
Serie:Graduate texts in computer science
Ämnen:
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!