Finite model theory and its applications /
Άλλοι συγγραφείς: | |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin ; New York :
Springer,
c2007.
|
Σειρά: | Texts in theoretical computer science (Springer)
|
Θέματα: |
Φυσική περιγραφή: | xi, 437 σ. ; εικ. ; 24 εκ. |
---|---|
Βιβλιογραφία: | Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο. |
ISBN: | 9783540004288 |
ISSN: | 1862-4499 |