共 50 条
- [32] Semantic contamination and mathematical proof: Can a non-proof prove? [J]. JOURNAL OF MATHEMATICAL BEHAVIOR, 2011, 30 (01): : 19 - 29
- [33] Modeling students' reasoning about qualitative physics: Heuristics for abductive proof search [J]. INTELLIGENT TUTORING SYSTEMS, PROCEEDINGS, 2004, 3220 : 699 - 709
- [34] Difficult dialogs about degenerate cases: A proof script study [J]. JOURNAL OF MATHEMATICAL BEHAVIOR, 2018, 52 : 61 - 76
- [35] A study on teaching proof to 7th grade students [J]. 5TH WORLD CONFERENCE ON EDUCATIONAL SCIENCES, 2014, 116 : 3427 - 3431
- [36] Partial Proof Terms in the Study of Idealized Proof Search [J]. INTELLIGENT COMPUTER MATHEMATICS, CICM 2024, 2024, 14690 : 279 - 297
- [38] PROOF OF A CONJECTURE ABOUT CAPACITY AND THINNESS [J]. COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1983, 297 (07): : 393 - 395
- [39] A CONVERGENCE PROOF ABOUT AN INTEGRAL SEQUENCE [J]. FIBONACCI QUARTERLY, 1980, 18 (03): : 231 - 242