Del 11726
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Gabriele Kern-Isberner, Zoran Ognjanović
Häftad, 2019
729 kr
Probability Logics
Probability-Based Formalization of Uncertain Reasoning
Inbunden, Engelska, 2016
1 879 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (1)
The aim of this book is to provide an introduction to probability logic-based formalization of uncertain reasoning. The authors' primary interest is mathematical techniques for infinitary probability logics used to obtain results about proof-theoretical and model-theoretical issues such as axiomatizations, completeness, compactness, and decidability, including solutions of some problems from the literature.An extensive bibliography is provided to point to related work, and this book may serve as a basis for further research projects, as a reference for researchers using probability logic, and also as a textbook for graduate courses in logic.
Produktinformation
- Utgivningsdatum2016-11-01
- Mått155 x 235 x 19 mm
- Vikt518 g
- FormatInbunden
- SpråkEngelska
- Antal sidor215
- Upplaga16001
- FörlagSpringer International Publishing AG
- ISBN9783319470115
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 11726
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Gabriele Kern-Isberner, Zoran Ognjanović
Häftad, 2019
729 kr
- Nyhet
- Nyhet
- Nyhet
Del 3
- Nyhet
- Nyhet
Del 4
- Nyhet
Del 11