1 option
The resolution calculus / Alexander Leitsch.
LIBRA QA76.9.A96 L44 1997
Available from offsite location
- Format:
- Book
- Author/Creator:
- Leitsch, Alexander, 1952-
- Series:
- Texts in theoretical computer science
- Language:
- English
- Subjects (All):
- Automatic theorem proving.
- Physical Description:
- viii, 300 pages : illustrations ; 24 cm.
- Place of Publication:
- Berlin ; New York : Springer, [1997]
- Summary:
- This is a completely new presentation of resolution as a logical calculus and basis for computational algorithms and decision procedures. By presenting traditional topics in new ways and providing a systematic treatment of recent research topics, the book shows how resolution decision procedures can be applied to solve the decision problem for some important first-order classes. New concepts are used to classify the complexity of refinements and functional extension is introduced with resolution.
- Notes:
- Includes bibliographical references (pages [289]-293) and indexes.
- ISBN:
- 3540618821
- OCLC:
- 35978634
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.