Type: Article
Publication Date: 1996-03-27
Citations: 0
| Action | Title | Year | Authors |
|---|---|---|---|
| + | Finding Proofs | 2016 | |
| + | Collection of Proofs | 2005 |
Antonella Cupillari |
| + | Understanding Proofs | 2008 |
Jeremy Avigad |
| + | Introduction to Proofs | 2019 |
Neil R. Nicholson |
| + | Structuring Mathematical Proofs | 1983 |
Uri Leron |
| + | Computer-assisted proofs | 2006 | |
| + | Counting and Proofs | 2015 | |
| + | Counting and Proofs | 2018 | |
| + | About Proofs and Proof Strategies | 2019 |
Gove Effinger Gary L. Mullen |
| + | Unwinding proofs (āProof Miningā) | 2008 | |
| + | The Proofs (Probatio) | 2016 | |
| + | Practice with Proofs | 2020 |
Craig P. Bauer |
| + | Automatic Proofs of | 2006 |
Graph Nonisomorphism |
| + | Calculus Proofs | 2020 | |
| + | Run-proof | 2007 | |
| + | Transition to Proofs | 2022 |
Simon RubinsteināSalzedo |
| + | 2 The Method of Proofs and Refutations | 2020 | |
| + | Mechanizing Constructive Proofs (Abstract) | 1986 |
GĆ©rard Huet |
| + | Progressive Proofs (Progs) | 2004 | |
| + | Proofs and Confirmations (Book Review). | 2000 |
Jet Wimp David M. Bressoud |
| Action | Title | Year | Authors |
|---|
| Action | Title | Year | Authors |
|---|