Scan barcode
268 pages • missing pub info (editions)
ISBN/UID: 9780792364733
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 31 August 2000
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. I...
Community Reviews
Content Warnings
268 pages • missing pub info (editions)
ISBN/UID: 9780792364733
Format: Hardcover
Language: English
Publisher: Springer
Publication date: 31 August 2000
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. I...
Community Reviews
Content Warnings