| Document Type
|
:
|
BL
|
| Record Number
|
:
|
738163
|
| Doc. No
|
:
|
b558042
|
| Main Entry
|
:
|
Alexander Leitsch.
|
| Title & Author
|
:
|
The resolution calculus\ Alexander Leitsch.
|
| Publication Statement
|
:
|
Berlin ; New York: Springer, ©1997.
|
| Series Statement
|
:
|
Texts in theoretical computer science.
|
| Page. NO
|
:
|
(viii, 300 pages) : illustrations
|
| ISBN
|
:
|
3642606059
|
|
|
:
|
: 3642644732
|
|
|
:
|
: 9783642606052
|
|
|
:
|
: 9783642644733
|
| Contents
|
:
|
1. Introduction --;2. The Basis of the Resolution Calculus --;3. Refinements of Resolution --;4. Redundancy and Deletion --;5. Resolution as Decision Procedure --;6. On the Complexity of Resolution.
|
| Abstract
|
:
|
The History of the Book In August 1992 the author had the opportunity to give a course on resolution theorem proving at the Summer School for Logic, Language, and Information in Essex. It was the purpose of the course mentioned above to present such new developments of resolution theory.
|
| Subject
|
:
|
Auflösungsprinzip
|
| Subject
|
:
|
Automatic theorem proving.
|
| Subject
|
:
|
Automatisches Beweisverfahren
|
| LC Classification
|
:
|
QA76.9.A96A449 1997
|
| Added Entry
|
:
|
Alexander Leitsch
|