Das Buch ist derzeit nicht auf Lager

Goal-Directed Proof Theory

Autoren

Dov M. Gabbay
N. Olivetti

Buchbewertung

4,0(1)Abgeben

Parameter

Lehrbücher
Philosophie
Sonstige Lehrbücher

Mehr zum Buch

"Goal Directed Proof Theory" offers a comprehensive methodology for automated deduction in non-classical logics, crucial for computer science. It generalizes logic programming for efficient proof search across various logical systems, serving as an introductory resource for those interested in automated reasoning. Suitable for self-study with basic logic knowledge.