Portfolio Methods in Theorem Proving for Elementary Geometry
PH
Private Pädagogische Hochschule Linz
Leistungstyp
Beitrag in einem Sammelwerk
LL Nr
1055
Dis Auftri
DIS_SAMMEL_1055
Jahr
2016
Titel
Portfolio Methods in Theorem Proving for Elementary Geometry
Quelle
Proceedings of ADG 2016, -, Strasbourg
Autoren
