Goal-Directed Proof Theory

Available
0
StarStarStarStarStar
0Reviews
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 logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied f...
Read more
E-book
pdf
Price
89.50 £
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 logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied f...
Read more
Follow the Author

Options

  • Formats: pdf
  • ISBN: 9789401717137
  • Publication Date: 17 Apr 2013
  • Publisher: Springer Netherlands
  • Product language: English
  • Drm Setting: DRM