Untersuchungen über die automatische Lösung von Aufgaben der konstruktiven Geometrie - Fritz Reutter - Häftad | Bokus