Logic for applications

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Nerode, Anil, 1932-
Άλλοι συγγραφείς: Shore, Richard A., 1946-
Μορφή: Βιβλίο
Γλώσσα:English
Δημοσίευση: New York : Springer-Verlag, c1993
Σειρά:Texts and monographs in computer science
Θέματα:
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
Περιγραφή
Περιγραφή τεκμηρίου:Includes bibliographical references and indexes
Φυσική περιγραφή:365 p.; 24 cm.
ISBN:0-387-94129-0
3-540-94129-0