Repository | Directory | Profile
(2000-2009)
Randomization, persuasiveness and rigor in proofs
2003
Catherine WomachMatrin Farach
Synthese 134/1-2