Logic for applications.

Κύριος συγγραφέας: Nerode, Anil
Άλλοι συγγραφείς: Shore, Richard A.
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: New York: Springer, 1993
Σειρά:Texts and monographs in computer science
Θέματα: