Logic for applications /

Shranjeno v:
Bibliografske podrobnosti
Glavni avtor: Nerode, Anil
Drugi avtorji: Shore, Richard A.
Format: Knjiga
Jezik:angleščina
Izdano: New york : Springer-Verlag, 1997.
Izdaja:2nd ed.
Serija:Graduate texts in computer science
Teme:
Oznake: Označite
Brez oznak, prvi označite!