Povej prijatelju o tem izdelku:
Formalized Probability Theory and Applications Using Theorem Proving Osman Hasan
Cena
€ 213,49
Naročeno iz oddaljenega skladišča
Predvidena dobava 10. - 18. sep
Prejemajte obvestila o novih izdajah izvajalca Osman Hasan
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja 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.
| Medij | Knjige Hardcover Book (Knjiga s trdim hrbtom in platnicami) |
| Izdano | 31. marca 2015 |
| ISBN13 | 9781466683150 |
| Založniki | Information Science Reference |
| Žanr | Aspects (Academic) > Science / Technology Aspects |
| Strani | 312 |
| Dimenzije | 178 × 254 × 19 mm · 785 g |
| Jezik | Angleščina |
