Formalized Probability theory and applications using theoren proving - Osman, Hasan; Sofiene, Tahar (USA Information Science Reference, 2015)
Includes bibliographical references and index.
Keywords: 1. Computer systems--Evaluation 2. Automatic theorem proving. 3. Stochastic analysis--Data processing