History


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

Result 1 to 4 of 4 total

Verification of human-level proof steps in mathematics education. (English)
Teach. Math. Comput. Sci. 6, No. 2, 345-362 (2008).
Classification: R45 E55 U55
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
Personal computer. Introduction into technology and use. Personal-Computer. Einfuehrung in Technik und Gebrauch. (German)
Heidelberg: Decker und Mueller. 1989. 302 p. 2. rev. and enl. ed. Ser. Title: Heidelberger Wegweiser. [ISBN 3-8226-2289-3]
Classification: R10
3
Personal computer. Introduction to technology and application. Personal Computer. Einfuehrung in Technik und Gebrauch. (German)
Heidelberg: Decker; Muelller. 1987. 293 p. Ser. Title: Heidelberger Wegweiser. [ISBN 3-8226-3086-1]
Classification: P60
4
first | previous | 1 | next | last

Result 1 to 4 of 4 total

Valid XHTML 1.0 Transitional Valid CSS!