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

Saved in:
Bibliographic Details
Main Author Hasan, Osman, 1975-
Other Authors Tahar, Sofiène, 1966-
Format Electronic eBook
LanguageEnglish
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
Online AccessFull text
ISBN9781466683174
1466683171
9781466683150
9781466683167
1466683163
9781680157338
1680157337
1466683155
Physical Description1 online resource (xii, 298 pages)

Cover

More Information
Summary:"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"--
Bibliography:Includes bibliographical references (pages 287-294) and index.
ISBN:9781466683174
1466683171
9781466683150
9781466683167
1466683163
9781680157338
1680157337
1466683155
Access:Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty
Physical Description:1 online resource (xii, 298 pages)

Similar Items