Logic for applications /

Պահպանված է:
Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Nerode, Anil
Այլ հեղինակներ: Shore, Richard A.
Ձևաչափ: Գիրք
Լեզու:անգլերեն
Հրապարակվել է: New york : Springer-Verlag, 1997.
Հրատարակություն:2nd ed.
Շարք:Graduate texts in computer science
Խորագրեր:
Ցուցիչներ: Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!