Kroening, Daniel.
Decision Procedures An Algorithmic Point of View / [electronic resource] : by Daniel Kroening, Ofer Strichman. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Texts in Theoretical Computer Science, An Eatcs Series, 1862-4499 . - Texts in Theoretical Computer Science, An Eatcs Series, .
9783540741053
10.1007/978-3-540-74105-3 doi
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).
QA8.9-QA10.3
005.131
Decision Procedures An Algorithmic Point of View / [electronic resource] : by Daniel Kroening, Ofer Strichman. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Texts in Theoretical Computer Science, An Eatcs Series, 1862-4499 . - Texts in Theoretical Computer Science, An Eatcs Series, .
9783540741053
10.1007/978-3-540-74105-3 doi
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).
QA8.9-QA10.3
005.131