Decision Procedures
Decision making, mathematical models
Logic, symbolic and mathematical
Information theory
Logic design
Computer algorithms
Algorithms
Software engineering
Artificial intelligence
Computer science
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order the…
Read online
Reader not loading? Open it on Archive.org instead.
