TY  - BOOK
AU  - Osman, Hasan
AU  - Sofiene, Tahar
TI  - Formalized Probability theory and applications using theoren proving
SN  - 9781466683150
U1  - 004.029 OSM 
PY  - 2015///
CY  - USA
PB  - Information Science Reference
KW  - 1. Computer systems--Evaluation  2.  Automatic theorem proving.  3. Stochastic analysis--Data processing
N1  - Includes bibliographical references and index
ER  -