共 50 条
- [2] Mathematical Proofs in Practice: Revisiting the reliability of published mathematical proofs THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA, 2014, 29 (03): : 345 - 360
- [3] CLEAR: Argumentation Frameworks for Constructing and Evaluating Deductive Mathematical Proofs COMPUTATIONAL MODELS OF ARGUMENT (COMMA 2018), 2018, 305 : 281 - 288
- [5] Dialectical Proofs for Constrained Argumentation COMPUTATIONAL MODELS OF ARGUMENT: PROCEEDINGS OF COMMA 2010, 2010, 216 : 159 - 170
- [6] Pictures, proofs, and 'mathematical practice': Reply to James Robert Brown BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 1999, 50 (03): : 425 - 429
- [9] DIALOGUE TYPES, ARGUMENTATION SCHEMES, AND MATHEMATICAL PRACTICE: DOUGLAS WALTON AND MATHEMATICS JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2021, 8 (01): : 159 - 182
- [10] Dialogue types, argumentation schemes, and mathematical practice: Douglas Walton and mathematics Aberdein, Andrew (aberdein@fit.edu), 1600, College Publications (08): : 159 - 182