Finite model theory and its applications /
Άλλοι συγγραφείς: | |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin ; New York :
Springer,
c2007.
|
Σειρά: | Texts in theoretical computer science (Springer)
|
Θέματα: |
ΒΚΠ - Πατρα: BSC
Ταξιθετικός Αριθμός: |
511.34 GRA |
---|---|
Αντίγραφο 1 | Στη βιβλιοθήκη |
Αντίγραφο 2 | Στη βιβλιοθήκη |
ΒΚΠ - Μεσολόγγι: BSC
Ταξιθετικός Αριθμός: |
511.3 FIN |
---|---|
Αντίγραφο 3 | Στη βιβλιοθήκη |
Αντίγραφο 4 | Στη βιβλιοθήκη |
ΒΚΠ - Κουκούλι: BSC
Ταξιθετικός Αριθμός: |
511.34 FIN |
---|---|
Αντίγραφο 5 | Στη βιβλιοθήκη |