Liknande böcker

Computational Complexity and Statistical Physics
Bok av Allon Percus
Decision Procedures : An Algorithmic Point of View
Bok av Daniel. Kroening
Algebraic Complexity Theory
Bok av Peter Burgisser
Logic for applications
Bok av Anil Nerode
Mathematical Problems from Applied Logic II : Logics for the XXIst Century
Bok av Dov M. Gabbay
Handbook of Logic in Computer Science. Volume 5, Logic and Algebraic Met...
Bok av Thomas S. E. Maibaum
Hilbert's Programs and Beyond
Bok av Wilfried Sieg
Tools and Techniques in Modal Logic
Bok av Marcus Kracht

Quantifier Elimination and Cylindrical Algebraic Decomposition