Unha interface gráfica para o decubrimento automático de teoremas en xeometría elemental
- Valcarce Gómez, José Luis
- Botana Ferreiro, Francisco
Revue:
Eduga: revista galega do ensino
ISSN: 1133-911X
Année de publication: 2001
Número: 33
Pages: 79-87
Type: Article