分享给好友:
Formalized Probability Theory and Applications Using Theorem Proving Osman Hasan
价格
元 1.508
不含税
远程仓调货
预计送达时间 年7月15日 - 年7月31日
添加至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.
| 介质类型 | 图书 Hardcover Book (精装硬皮书) |
| 已发行 | 2015年3月31日 |
| ISBN13 | 9781466683150 |
| 出版商 | Information Science Reference |
| 分类 | Aspects (Academic) > Science / Technology Aspects |
| 页数 | 312 |
| 商品尺寸 | 178 × 254 × 19 mm · 757 g |
| 语言 | 英语 |
