Scan barcode
268 pages • missing pub info (editions)
ISBN/UID: 9789048155262
Format: Paperback
Language: English
Publisher: Springer
Publication date: 04 December 2010
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: 9789048155262
Format: Paperback
Language: English
Publisher: Springer
Publication date: 04 December 2010
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