Fortell venner om denne varen:
Formalized Probability Theory and Applications Using Theorem Proving Osman Hasan
Pris
NOK 2.209
Bestillingsvarer
Forventes levert 10. - 18. sep
Få varsel om nye utgivelser fra Osman Hasan
Legg til iMusic ønskeliste
eller
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 | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 31. mars 2015 |
| ISBN13 | 9781466683150 |
| Utgivere | Information Science Reference |
| Sjanger | Aspects (Academic) > Science / Technology Aspects |
| Antall sider | 312 |
| Mål | 178 × 254 × 19 mm · 785 g |
| Språk | Engelsk |
