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

Bibliographische Detailangaben

1. Verfasser:	Hasan, Osman (VerfasserIn)
Weitere Verfasser:	Tahar, Sofiène (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Hershey, PA Information Science Reference, an imprint of IGI Global c 2015
Schriftenreihe:	Research essentials
Schlagworte:	Computer systems > Evaluation > Automatic theorem proving > Stochastic analysis > Data processing
Online Zugang:	Inhaltsverzeichnis Übersicht & Leseproben
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!