Formalized probability theory and applications using theorem proving

• Main Author: Hasan, Osman, 1975-
• Other Authors: Tahar, Sofiène, 1966-
• Format: Electronic eBook
• Language: English
• Published: Hershey, PA : Information Science Reference, an imprint of IGI Global, [2015]
• Subjects: Computer systems > Evaluation.; Automatic theorem proving.; Stochastic analysis > Data processing.; elektronické knihy; electronic books
• ISBN: 9781466683174; 1466683171; 9781466683150; 9781466683167; 1466683163; 9781680157338; 1680157337; 1466683155
• Physical Description: 1 online resource (xii, 298 pages)

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