Unha interface gráfica para o decubrimento automático de teoremas en xeometría elemental
- Valcarce Gómez, José Luis
- Botana Ferreiro, Francisco
Aldizkaria:
Eduga: revista galega do ensino
ISSN: 1133-911X
Argitalpen urtea: 2001
Zenbakia: 33
Orrialdeak: 79-87
Mota: Artikulua