|
Eine Ebene nach oben |
Gruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Springe zu: 2019
Anzahl der Publikationen: 1
2019
Dore, Maximilian und Broda, Krysia
(2019):
Towards Intuitive Reasoning in Axiomatic Geometry.
In: Electronic Proceedings in Theoretical Computer Science, Nr. 290: S. 38-55