Development of Automatic Reasoning Tools in GeoGebra
PH
Private Pädagogische Hochschule Linz
Leistungstyp
Beitrag in einer Fachzeitschrift
LL Nr
1286
Dis Auftri
DIS_ZEITSC_1286
Jahr
2016
Titel
Development of Automatic Reasoning Tools in GeoGebra
Quelle
ACM Commun. Comput. Algebra., 50, 3, 85 - 88, -
Autoren
