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