Wolfgang Schreiner,
"On Proving Assistants in the Classroom (and Elsewhere)"
, in Csaba Sarvari et al.: CADGME 2009, Computer Algebra and Dynamic Geometry Systems in Mathematics Education, Seite(n) XX-XX, 2009
Original Titel:
On Proving Assistants in the Classroom (and Elsewhere)
Sprache des Titels:
Englisch
Original Buchtitel:
CADGME 2009, Computer Algebra and Dynamic Geometry Systems in Mathematics Education
Seitenreferenz:
XX-XX
Erscheinungsjahr:
2009
Anzahl der Seiten:
8
Notiz zur Publikation:
RISC, Castle of Hagenberg, Austria, July 11-13, 2009
Forschungs-