Formalization of Probability and Random Sampling on a Finite and Discrete Sample Space Using the Mizar Proof Checker
Formalization of Probability and Random Sampling on a Finite and Discrete Sample Space Using the Mizar Proof Checker
复制标题
使用 Mizar 证明检查器对有限离散样本空间上的概率和随机采样进行形式化
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Hiroyuki Okazaki
中科院分区：
文献类型：
--
作者：
Kenichi Arai;Nobuaki Kondo;Hiroyuki Okazaki
