Untersuchungen über die automatische Lösung von Aufgaben der konstruktiven Geometrie | lit.salon