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
Ηλεκτρονική πηγή
Ηλ. βιβλίο