Finite model theory and its applications /
Other Authors: | |
---|---|
Format: | Book |
Language: | English |
Published: |
Berlin ; New York :
Springer,
c2007.
|
Series: | Texts in theoretical computer science (Springer)
|
Subjects: |
ΒΚΠ - Πατρα: BSC
Call Number: |
511.34 GRA |
---|---|
Copy 1 | Available |
Copy 2 | Available |
ΒΚΠ - Μεσολόγγι: BSC
Call Number: |
511.3 FIN |
---|---|
Copy 3 | Available |
Copy 4 | Available |
ΒΚΠ - Κουκούλι: BSC
Call Number: |
511.34 FIN |
---|---|
Copy 5 | Available |
ΒΚΠ - Αγρίνιο: BSC
Call Number: |
511.34 FIN |
---|---|
Copy 6 | Available |
Copy 7 | Available |