Online Generation of Proofs Without Words
PH
Private Pädagogische Hochschule Linz
Leistungstyp
Beitrag in einem Sammelwerk
LL Nr
4631
Dis Auftri
DIS_SAMMEL_4631
Jahr
2021
Titel
Online Generation of Proofs Without Words
Quelle
Proceedings of the 13th International Conference on Automated Deduction in Geometry, Hagenberg, Austria/virtual, September 15-17, 2021, 103-105, Open Publishing Association
Autoren
