{"product_id":"9781466683150","title":"Formalized Probability Theory And Applications Using Theorem Proving","description":"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--\u003cbr\u003e\u003cbr\u003e\u003cbr\u003e\u003cul\u003e\n\u003cli\u003e• \u003cb\u003eAuthor: \u003c\/b\u003eOsman Hasan, Sofiene Tahar\u003c\/li\u003e\n\u003cli\u003e• \u003cb\u003ePublisher: \u003c\/b\u003eInformation Science Reference\u003c\/li\u003e\n\u003cli\u003e• \u003cb\u003ePublication Date: \u003c\/b\u003eMar 31, 2015\u003c\/li\u003e\n\u003cli\u003e• \u003cb\u003eNumber of Pages: \u003c\/b\u003e312 pages\u003c\/li\u003e\n\u003cli\u003e• \u003cb\u003eLanguage: \u003c\/b\u003eEnglish\u003c\/li\u003e\n\u003cli\u003e• \u003cb\u003eBinding: \u003c\/b\u003eHardcover\u003c\/li\u003e\n\u003cli\u003e• \u003cb\u003eISBN-10: \u003c\/b\u003e1466683155\u003c\/li\u003e\n\u003cli\u003e• \u003cb\u003eISBN-13: \u003c\/b\u003e9781466683150\u003c\/li\u003e\n\u003c\/ul\u003e","brand":"Information Science Reference","offers":[{"title":"Default Title","offer_id":49686692233521,"sku":"9781466683150","price":241.69,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0798\/8215\/8385\/files\/9781466683150_p0_v1_s600x595.jpg?v=1721538689","url":"https:\/\/www.recomparo.com\/products\/9781466683150","provider":"ReComparo.com","version":"1.0","type":"link"}