%0 Conference Paper %1 conf/fcs/AraiKO10 %A Arai, Kenichi %A Kondo, Nobuaki %A Okazaki, Hiroyuki %B FCS %D 2010 %E Arabnia, Hamid R. %E Gravvanis, George A. %E Solo, Ashu M. G. %I CSREA Press %K dblp %P 81-86 %T Formalization of Probability and Random Sampling on a Finite and Discrete Sample Space Using the Mizar Proof Checker. %U http://dblp.uni-trier.de/db/conf/fcs/fcs2010.html#AraiKO10 %@ 1-60132-142-2

@inproceedings{conf/fcs/AraiKO10, added-at = {2010-12-08T00:00:00.000+0100}, author = {Arai, Kenichi and Kondo, Nobuaki and Okazaki, Hiroyuki}, biburl = {https://www.bibsonomy.org/bibtex/213e7908e8e3a197a672489ec0eda76d9/dblp}, booktitle = {FCS}, crossref = {conf/fcs/2010}, editor = {Arabnia, Hamid R. and Gravvanis, George A. and Solo, Ashu M. G.}, interhash = {7d0c0fd6b237a064c6e56891902445de}, intrahash = {13e7908e8e3a197a672489ec0eda76d9}, isbn = {1-60132-142-2}, keywords = {dblp}, pages = {81-86}, publisher = {CSREA Press}, timestamp = {2010-12-09T11:32:36.000+0100}, title = {Formalization of Probability and Random Sampling on a Finite and Discrete Sample Space Using the Mizar Proof Checker.}, url = {http://dblp.uni-trier.de/db/conf/fcs/fcs2010.html#AraiKO10}, year = 2010 }