Goal-Directed Proof Theory Dov Gabbay
Use attributes for filter ! | |
Published | August 31, 2000 |
---|---|
Authors | Dov Gabbay |
N. Olivetti | |
Media actions | www.worldcat.org |
Get book actions | www.worldcat.org |
Date of Reg. | |
Date of Upd. | |
ID | 4038640 |
About Goal-Directed Proof Theory Dov Gabbay
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. ...