Logic for applications /

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Nerode, Anil
Άλλοι συγγραφείς: Shore, Richard A.
Μορφή: Βιβλίο
Γλώσσα:Αγγλικά
Έκδοση: New york : Springer-Verlag, 1997.
Έκδοση:2nd ed.
Σειρά:Graduate texts in computer science
Θέματα:
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!