Nobuaki Kondo
According to our database1,
Nobuaki Kondo
authored at least 1 paper
in 2010.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2010
Formalization of Probability and Random Sampling on a Finite and Discrete Sample Space Using the Mizar Proof Checker.
Proceedings of the 2010 International Conference on Foundations of Computer Science, 2010