000			00544nam a22001577a 4500
020			_a9781466683150
082			_a004.029 OSM
100			_aOsman, Hasan
245			_aFormalized Probability theory and applications using theoren proving
260			_aUSA _bInformation Science Reference _c2015
300			_axii, 298 p.
500			_aIncludes bibliographical references and index.
650			_a1. Computer systems--Evaluation 2. Automatic theorem proving. 3. Stochastic analysis--Data processing
700			_aSofiene, Tahar
942			_cBK
999			_c13219 _d13219