Scan barcode
304 pages • first pub 2008 (editions)
ISBN/UID: None
Format: Not specified
Language: English
Publisher: Not specified
Publication date: Not specified
Description
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 co...
Community Reviews
Content Warnings
304 pages • first pub 2008 (editions)
ISBN/UID: None
Format: Not specified
Language: English
Publisher: Not specified
Publication date: Not specified
Description
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 co...
Community Reviews
Content Warnings