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
Ano de publicación: 2001
Número: 33
Páxinas: 79-87
Tipo: Artigo