Fortæl dine venner om denne vare:
Formalized Probability Theory and Applications Using Theorem Proving
Osman Hasan
Pris
CA$ 380,61
Bestilles fra fjernlager
Forventes klar til forsendelse 10. - 17. jul.
Tilføj til din iMusic ønskeseddel
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.
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 31. marts 2015 |
| ISBN13 | 9781466683150 |
| Forlag | Information Science Reference |
| Genre | Aspects (Academic) > Science / Technology Aspects |
| Antal sider | 312 |
| Mål | 178 × 254 × 19 mm · 757 g |
| Sprog | Engelsk |
