Goal-Directed Proof Theory
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | August 31, 2000 |
| Authors | Dov Gabbay |
| N. Olivetti | |
| Editors | Dov Gabbay |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2053999 |
About Goal-Directed Proof Theory
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. . . .