Finite model theory and its applications /

Bibliographic Details
Other Authors: Grädel, Erich, 1958- (συγγραφέας.)
Format: Book
Language:English
Published: Berlin ; New York : Springer, c2007.
Series:Texts in theoretical computer science (Springer)
Subjects:

ΒΚΠ - Πατρα: BSC

Holdings details from ΒΚΠ - Πατρα: BSC
Call Number: 511.34 GRA
Copy 1 Available
Copy 2 Available

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

Holdings details from ΒΚΠ - Μεσολόγγι: BSC
Call Number: 511.3 FIN
Copy 3 Available
Copy 4 Available

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

Holdings details from ΒΚΠ - Κουκούλι: BSC
Call Number: 511.34 FIN
Copy 5 Available

ΒΚΠ - Αγρίνιο: BSC

Holdings details from ΒΚΠ - Αγρίνιο: BSC
Call Number: 511.34 FIN
Copy 6 Available
Copy 7 Available