TY  - JOUR
AU  - S. HARMS
AU  - W.D. KLIX
TI  - Ein Algorithmus zur automatischen Lösung konstruktiver Problemstellungen
JO  - Beiträge zur Algebra und Geometrie
PY  - 1977
SP  - 55
EP  - 70
VL  - 6
IS  - I
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BAG_1977__6_I_138137/
LA  - de
ID  - BAG_1977__6_I_138137
ER  -