Logic for applications

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Nerode, Anil 1932- (Συγγραφέας)
Άλλοι συγγραφείς: Shore, Richard A.
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: New York Springer-Verlag 1997
Έκδοση:2nd ed.
Σειρά:Graduate texts in computer science
Θέματα:

ΒΚΠ - Πατρα: ALFb

Λεπτομέρειες τεκμηρίων από ΒΚΠ - Πατρα: ALFb
Ταξιθετικός Αριθμός: 005.1 Ν
Αντίγραφο 1 Στη βιβλιοθήκη

ΒΚΠ - Πατρα: BSC

Λεπτομέρειες τεκμηρίων από ΒΚΠ - Πατρα: BSC
Ταξιθετικός Αριθμός: 005.1 NER
005.1 ΝER
005.1 ΝER
Αντίγραφο 2 Στη βιβλιοθήκη
Αντίγραφο 4 Στη βιβλιοθήκη
Αντίγραφο 5 Στη βιβλιοθήκη
Αντίγραφο 6 Στη βιβλιοθήκη
Αντίγραφο 3 Στη βιβλιοθήκη