Randomization, persuasiveness and rigor in proofs

2003

Catherine Womach, Matrin Farach

Synthese 134