-
Anglický jazyk
Formalized Probability Theory and Applications Using Theorem Proving
Autor: Osman Hasan
Discusses some of the limitations inherent in computer systems when applied to problems of probabilistic analysis, and presents a novel solution to these limitations, combining higher-order logic with computer-based theorem proving. It combines practical... Viac o knihe
Na objednávku, dodanie 2-4 týždne
200.88 €
bežná cena: 223.20 €
O knihe
Discusses some of the limitations inherent in computer systems when applied to problems of probabilistic analysis, and presents a novel solution to these limitations, combining higher-order logic with computer-based theorem proving. It combines practical application with theoretical discussion.
- Vydavateľstvo: Information Science Reference
- Rok vydania: 2015
- Formát: Hardback
- Rozmer: 260 x 183 mm
- Jazyk: Anglický jazyk
- ISBN: 9781466683150
Nemecký jazyk 
