Granularity Analysis for Tutoring Mathematical Proofs
Aka Verlag (2011)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | Proof theory Data processing Proof theory Data processing |
| Categories | (categorize this paper) |
| Buy this book |
Find it on Amazon.com
|
| Call number | QA9.54.S34 2011 |
| ISBN(s) | 1607507196 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
Granularity Analysis for Mathematical Proofs.Marvin R. G. Schiller - 2013 - Topics in Cognitive Science 5 (2):251-269.
Similar books and articles
Granularity Analysis for Mathematical Proofs.Marvin R. G. Schiller - 2013 - Topics in Cognitive Science 5 (2):251-269.
Proofs and Rebuttals: Applying Stephen Toulmin's Layout of Arguments to Mathematical Proof.Andrew Aberdein - 2006 - In Marta Bílková & Ondřej Tomala (eds.), The Logica Yearbook 2005. Filosofia. pp. 11-23.
Automatic Semantic Interpretation: A Computer Model of Understanding Natural Language.Jan van Bakel - 1984 - Foris Publications.
Mathematical Proof Theory in the Light of Ordinal Analysis.Reinhard Kahle - 2002 - Synthese 133 (1/2):237 - 255.
That We See That Some Diagrammatic Proofs Are Perfectly Rigorous.Jody Azzouni - 2013 - Philosophia Mathematica 21 (3):323-338.
Semantic Interpretation and the Resolution of Ambiguity.Graeme Hirst - 1987 - Cambridge University Press.
Analytics
Added to PP index
2014-11-18
Total views
0
Recent downloads (6 months)
0
2014-11-18
Total views
0
Recent downloads (6 months)
0
How can I increase my downloads?
Downloads
Sorry, there are not enough data points to plot this chart.
Sorry, there are not enough data points to plot this chart.
