Automated reasoning in elementary geometry: towards inquiry learning

PH
Private Pädagogische Hochschule Linz
Leistungstyp
Beitrag in einer Fachzeitschrift
LL Nr
1329
Dis Auftri
DIS_ZEITSC_1329
Jahr
2018
Titel
Automated reasoning in elementary geometry: towards inquiry learning
Quelle
Pädagogische Horizonte, 2 , 2, 1 - 13, -
Autoren