Deduction systems
by Rolf Socher-Ambrosius
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
This graduate-level text offers a theoretical treatment of the fundamental concepts and methods of automated deduction. In a presentation of first-order resolution theorem proving that also covers resolution in order-sorted first-order logic, this book provides a self-contained account suitable for students coming to the subject for the first time.
Both Gentzen-style sequent calculi and the refutation method known as resolution are treated in detail. Various strategies for pruning resolution search spaces - such as linear, hyper- and ordered resolution - are also covered. Numerous examples are presented to illustrate the concepts discussed. Students will find this a readily accessible introduction to the subject.
Check nearby libraries
Buy this book
Subjects
Automatic theorem provingShowing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographical references (p. [199]-200) and index.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| August 6, 2024 | Edited by MARC Bot | import existing book |
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| February 13, 2010 | Edited by WorkBot | add more information to works |
| December 10, 2009 | Created by WorkBot | add works page |