Povedzte o tejto položke priateľom:
Formalized Probability Theory and Applications Using Theorem Proving Osman Hasan
Cena
€ 223,99
Objednané zo vzdialeného skladu
Očakávané doručenie 30. okt - 9. nov
Dostávajte upozornenia na nové nahrávky interpreta Osman Hasan
Naši zákazníci hovoria:
Pridať do vášho zoznamu prianí na iMusic
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.
| Médium | Knihy Hardcover Book (Kniha s pevnou väzbou a obalom) |
| Vydané | 31. marca 2015 |
| ISBN13 | 9781466683150 |
| Vydavatelia | Information Science Reference |
| Žáner | Aspects (Academic) > Science / Technology Aspects |
| Strany | 312 |
| Rozmery | 178 × 254 × 19 mm · 757 g |
| Jazyk | Angličtina |
