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