History


Help on query formulation
first | previous | 1 | next | last

Result 1 to 2 of 2 total

Granularity analysis for tutoring mathematical proofs. (English)
DISKI. Dissertationen zur Künstlichen Intelligenz 334. Heidelberg: Akademischen Verlagsgesellschaft AKA; Amsterdam: IOS Press; Saarbrücken: Univ. des Saarlandes, Naturwissenschaftlich-Technische Fakultäten (Diss. 2000) (ISBN 978-3-89838-334-9/pbk; 978-1-60750-719-2/pbk). xx, 247~p. (2011).
Classification: R40 E50 D40 U50 E40
1
Proof step analysis for proof tutoring ‒ a learning approach to granularity. (English)
Teach. Math. Comput. Sci. 6, No. 2, 325-343 (2008).
Classification: R45 E35 E55 U55 R25
2
first | previous | 1 | next | last

Result 1 to 2 of 2 total

Valid XHTML 1.0 Transitional Valid CSS!