Normal view MARC view ISBD view

Decision procedures : an algorithmic point of view

Daniel Kroening

Decision procedures : an algorithmic point of view - Springer-Verlag 2008 - 304

SAR/156/2008/19-03-09

Subjects--Topical Terms:
Decision making -- Mathematical models.
Algorithms.
Logic, Symbolic and mathematical.

Place hold
Print
Suggest for purchase
Send to device
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)