عنوان
پدید آورنده
موضوع
رده
QA76.9.A96 A449 1997
QA76
.
9
.
A96
A449
1997
کتابخانه
محل استقرار
3642606059
3642644732
9783642606052
9783642644733
b558042
The resolution calculus
[Book]
Alexander Leitsch.
Berlin ; New York
Springer
©1997.
(viii, 300 pages) : illustrations
Texts in theoretical computer science.
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.
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.
Auflösungsprinzip
Automatic theorem proving.
Automatisches Beweisverfahren
QA76
.
9
.
A96
A449
1997
Alexander Leitsch.
Alexander Leitsch
مطالعه متن کتاب [Book]
Y
