Automation of Logic |
|
| Author:
| Weidenbach, Christoph |
| Series title: | Chapman and Hall/CRC Studies in Informatics Ser. |
| ISBN: | 978-1-4398-7536-0 |
| Publication Date: | Jul 2019 |
| Publisher: | CRC Press LLC
|
| Imprint: | Chapman & Hall/CRC |
| Book Format: | Digital (delivered electronically) |
| List Price: | USD $54.95 |
Book Description:
|
Presenting first-order and propositional methods as well as implementation issues, this book provides a state-of-the-art introduction to the automation of logic. It focuses on superposition calculus and related rewriting techniques. It also covers decision procedures for certain theories and includes real-world applications. Along with the relevant theory, each chapter contains implementation methods, historical background, suggestions for further reading, and software. Supplemental...
More Description
Presenting first-order and propositional methods as well as implementation issues, this book provides a state-of-the-art introduction to the automation of logic. It focuses on superposition calculus and related rewriting techniques. It also covers decision procedures for certain theories and includes real-world applications. Along with the relevant theory, each chapter contains implementation methods, historical background, suggestions for further reading, and software. Supplemental materials and resources are provided on the book's website and a solutions manual is available for qualifying instructors.