Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) : Erich Grädel
Customers also bought these Products:
The Text Mining Handbook: Advanced Approaches in Analyzing Unstructured Data Author: Ronen Feldman Manufacturer: Cambridge University Press ListPrice: $70.00 Offer: $50.40
Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra (Undergraduate Texts in Mathematics) Author: David Cox Manufacturer: Springer ListPrice: $54.95 Offer: $39.44
Algorithmic Game Theory Manufacturer: Cambridge University Press ListPrice: $45.00 Offer: $36.00
Systems and Software Verification: Model-Checking Techniques and Tools Author: B. Berard Manufacturer: Springer ListPrice: $59.95 Offer: $47.96
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series) Author: Leonid Libkin Manufacturer: Springer ListPrice: $54.95 Offer: $46.71
Automata, Logics, and Infinite Games: A Guide to Current Research (Lecture Notes in Computer Science) Manufacturer: Springer ListPrice: $99.00 Offer: $99.00