Vertel uw vrienden over dit artikel:
Formalized Probability Theory and Applications Using Theorem Proving Osman Hasan
Prijs
€ 215,49
Besteld in een afgelegen magazijn
Verwachte levering 21 - 29 sep.
Ontvang meldingen over nieuwe releases van Osman Hasan
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
Formalized Probability Theory and Applications Using Theorem Proving
Osman Hasan
Marc Notes: Includes bibliographical references and index.; This book 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--; Provided by publisher.
| Media | Boeken Hardcover Book (Boek met harde rug en kaft) |
| Vrijgegeven | 31 maart 2015 |
| ISBN13 | 9781466683150 |
| Uitgevers | Information Science Reference |
| Genre | Aspects (Academic) > Science / Technology Aspects |
| Pagina's | 312 |
| Afmetingen | 178 × 254 × 19 mm · 785 g |
| Taal en grammatica | Engels |
