All Formats & Editions
1 - 2 of 2 results found
Goal-Directed Proof Theory
Edition Description
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. It is a generalization of the...
Edition Details
Format:Hardcover
Language:English
ISBN:0792364732
Format: Hardcover
Condition:
$
109.99
50 Available
Goal-Directed Proof Theory
Edition Description
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. It is a generalization of the...
Edition Details
Format:Paperback
Language:English
ISBN:9048155266
Format: Paperback
Condition:
$
109.99
50 Available
Copyright © 2025 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
