Probability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables
Okazaki, Hiroyuki, Shidama, YasunariVolume:
18
Language:
english
Journal:
Formalized Mathematics
DOI:
10.2478/v10037-010-0026-6
Date:
January, 2010
File:
PDF, 203 KB
english, 2010