Tell your friends about this item:
Formalized Probability Theory and Applications Using Theorem Proving
Osman Hasan
Price
HK$ 1,746
excl. VAT
Ordered from remote warehouse
Expected delivery Jul 16 - 29
Our customers say:
Add to your iMusic wish list
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 | Books Hardcover Book (Book with hard spine and cover) |
| Released | March 31, 2015 |
| ISBN13 | 9781466683150 |
| Publishers | Information Science Reference |
| Genre | Aspects (Academic) > Science / Technology Aspects |
| Pages | 312 |
| Dimensions | 178 × 254 × 19 mm · 757 g |
| Language | English |
