A dynamic-symbolic interface for geometric theorem discovery
- Botana, F.
- Valcarce, J.L.
ISSN: 0360-1315
Any de publicació: 2002
Volum: 38
Número: 1-3
Pàgines: 21-35
Tipus: Aportació congrés
ISSN: 0360-1315
Any de publicació: 2002
Volum: 38
Número: 1-3
Pàgines: 21-35
Tipus: Aportació congrés