The book is currently out of stock
More about the book
"Goal Directed Proof Theory" offers a comprehensive methodology for automated deduction in non-classical logics, crucial for computer science. It generalizes logic programming for efficient proof search across various logical systems, serving as an introductory resource for those interested in automated reasoning. Suitable for self-study with basic logic knowledge.
Book purchase
Goal-Directed Proof Theory, Dov M. Gabbay, N. Olivetti
- Language
- Released
- 2010
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
We’re missing your review here.