Finite model theory and its applications /
Άλλοι συγγραφείς: | |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin ; New York :
Springer,
c2007.
|
Σειρά: | Texts in theoretical computer science (Springer)
|
Θέματα: |
Search Result 1
ανά Grädel, Erich, Kolaitis, Phokion G., Libkin, Leonid, Marx, Maarten, Spencer, Joel, Vardi, Moshe Y., Venema, Yde, Weinstein, Scott
Έκδοση 2007
Full Text via HEAL-LinkΈκδοση 2007
Ηλεκτρονική πηγή
Ηλ. βιβλίο