Formalized Probability Theory and Applications Using Theorem Proving

by OsmanHasan (Author), SofieneTahar (Author)

New
Illustrated
2015
$208.53

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. It combines practical application with theoretical discussion.

Synopsis

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. It combines practical application with theoretical discussion.

$208.53

Quantity

20+ in stock

More Information

Format: Illustrated
Pages: 300
Edition: Illustrated
Publisher: IGI Global
Published: 26 Mar 2015
ISBN 10: 1466683155
ISBN 13: 9781466683150

Formalized Probability Theory and Applications Using Theorem Proving

New

$208.53

Synopsis

$208.53

More Information