| |
Showing below keyword matches in entire database for "theoretical computer science":
Womach, Catherine and Matrin Farach. "Randomization, Persuasiveness and Rigor in Proofs." Synthese: An International Journal for Epistemology, Methodology and Philosophy of Science 134.1-2 (2003): 71-84. | |
Literature, Science & the Arts | |
Keywords: algorithms | logic | physical and mathematical sciences | randomness | theoretical computer science | theory |