Het boek is momenteel niet op voorraad
Parameters
Meer over het boek
"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.
Een boek kopen
Goal-Directed Proof Theory, Dov M. Gabbay, N. Olivetti
- Taal
- Jaar van publicatie
- 2010
- product-detail.submit-box.info.binding
- (Paperback)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
We missen je recensie hier.