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