Le livre est actuellement en rupture de stock
En savoir plus sur le livre
"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.
Achat du livre
Goal-Directed Proof Theory, Dov M. Gabbay, N. Olivetti
- Langue
- Année de publication
- 2010
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Il manque plus que ton avis ici.