Nobuaki Kondo

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Kenichi Arai, Nobuaki Kondo, Hiroyuki Okazaki
Formalization of Probability and Random Sampling on a Finite and Discrete Sample Space Using the Mizar Proof Checker. FCS (2010)