N. Olivetti – författare
Visar alla böcker från författaren N. Olivetti. Handla med fri frakt och snabb leverans.
3 produkter
Goal-Directed Proof Theory
Inbunden, 2000
1096 kr
Lägg i varukorg
This guide presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, …
Goal-Directed Proof Theory
Häftad, 2010
1096 kr
Lägg i varukorg
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 …
Goal-Directed Proof Theory
E-bok, 2013
1459 kr
Lägg i varukorg
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 …
