Kniha momentálne nie je na sklade
Parametre
Viac o knihe
"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.
Nákup knihy
Goal-Directed Proof Theory, Dov M. Gabbay, N. Olivetti
- Jazyk
- Rok vydania
- 2010
- product-detail.submit-box.info.binding
- (mäkká)
Akonáhle sa objaví, pošleme e-mail.
Doručenie
Platobné metódy
Tu nám chýba tvoja recenzia