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

Cover

Table of contents

Description
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

Similar Items