Decision Procedures An Algorithmic Point of View / [electronic resource] :
by Daniel Kroening, Ofer Strichman.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
- v.: digital
- Texts in Theoretical Computer Science, An Eatcs Series, 1862-4499 .
9783540741053
Computer science Software engineering Information theory Logic design Artificial intelligence Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs Theory of Computation Software Engineering Artificial Intelligence (incl. Robotics)