Finite model theory and its applications /

Finite model theory and its applications /

Show other versions (1)
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:
Μαθηματικά μοντέλα
Show all versions (2)

Similar Items