The Resolution Calculus
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 1997 |
| Authors | A. Leitsch |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2062346 |
About The Resolution Calculus
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. The challenge of this course (a total of five two-hour lectures) con sisted in the selection of the topics to be presented. . . .