Decision Procedures: An Algorithmic Point of View
Kroening, Daniel.
Decision Procedures: An Algorithmic Point of View - Berlin Springer 2008 - xvi, 304p.
9783540741046
Decision making--Mathematical models
004.015 / Kro
Decision Procedures: An Algorithmic Point of View - Berlin Springer 2008 - xvi, 304p.
9783540741046
Decision making--Mathematical models
004.015 / Kro