Unha interface gráfica para o decubrimento automático de teoremas en xeometría elemental
- Valcarce Gómez, José Luis
- Botana Ferreiro, Francisco
Revista:
Eduga: revista galega do ensino
ISSN: 1133-911X
Any de publicació: 2001
Número: 33
Pàgines: 79-87
Tipus: Article