A dynamic-symbolic interface for geometric theorem discovery
- Botana, F.
- Valcarce, J.L.
ISSN: 0360-1315
Datum der Publikation: 2002
Ausgabe: 38
Nummer: 1-3
Seiten: 21-35
Art: Konferenz-Beitrag
ISSN: 0360-1315
Datum der Publikation: 2002
Ausgabe: 38
Nummer: 1-3
Seiten: 21-35
Art: Konferenz-Beitrag