Osman, Hasan <br/><br/>
Formalized Probability theory and applications using theoren proving 

 - USA  Information Science Reference  2015 
 - xii, 298 p. 
<br/><br/> Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9781466683150 
<br/><br/><label>Subjects--Topical Terms: </label><br/>1. Computer systems--Evaluation  2.  Automatic theorem proving.  3. Stochastic analysis--Data processing
<br/><br/><label>Dewey Class. No.: </label>004.029 OSM