Formalization of the Continuous Probability Distributions (2007)

by O Hasan, S Tahar
Venue:In Automated Deduction, volume 4603 of LNAI