Decision procedures: an algorithmic point of view /
Daniel Kroening,
Decision procedures: an algorithmic point of view / Daniel Kroening and Ofer Strichman - Berlin : Springer, 2016. - xxi, 356 p. : ill. ; 23 cm - Texts in theoretical computer science an EATCS series. .
Including reference and index.
9783662570654
Logic, Symbolic and mathematical
Decision making--Mathematical models
Algorithms
004.0151 / KRO/D
Decision procedures: an algorithmic point of view / Daniel Kroening and Ofer Strichman - Berlin : Springer, 2016. - xxi, 356 p. : ill. ; 23 cm - Texts in theoretical computer science an EATCS series. .
Including reference and index.
9783662570654
Logic, Symbolic and mathematical
Decision making--Mathematical models
Algorithms
004.0151 / KRO/D