Logic for applications /

Zapisane w:
Opis bibliograficzny
1. autor: Nerode, Anil
Kolejni autorzy: Shore, Richard A.
Format: Książka
Język:angielski
Wydane: New york : Springer-Verlag, 1997.
Wydanie:2nd ed.
Seria:Graduate texts in computer science
Hasła przedmiotowe:
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!