Formalized Probability Theory And Applications Using Theorem Proving

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--

• • Author: Osman Hasan, Sofiene Tahar
• • Publisher: Information Science Reference
• • Publication Date: Mar 31, 2015
• • Number of Pages: 312 pages
• • Language: English
• • Binding: Hardcover
• • ISBN-10: 1466683155
• • ISBN-13: 9781466683150