Formalized probability theory and applications using theorem
Formalized probability theory and applications using theorem proving
1.2 hrs read
Rate this book:
About This Book
"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"--
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Write a Review
Sign in to write a review.