&>standalone product; MasteringEngineeringR does not come packaged with this content. If you would like to purchase both the physical text and MasteringEngineering search for 0134123832
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