Finite model theory and its applications /

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