Finite model theory and its applications /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Grädel, Erich, 1958- (συγγραφέας.)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Berlin ; New York : Springer, c2007.
Σειρά:Texts in theoretical computer science (Springer)
Θέματα:

ΒΚΠ - Πατρα: BSC

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

ΒΚΠ - Μεσολόγγι: BSC

Λεπτομέρειες τεκμηρίων από ΒΚΠ - Μεσολόγγι: BSC
Ταξιθετικός Αριθμός: 511.3 FIN
Αντίγραφο 3 Στη βιβλιοθήκη
Αντίγραφο 4 Στη βιβλιοθήκη

ΒΚΠ - Κουκούλι: BSC

Λεπτομέρειες τεκμηρίων από ΒΚΠ - Κουκούλι: BSC
Ταξιθετικός Αριθμός: 511.34 FIN
Αντίγραφο 5 Στη βιβλιοθήκη