FRANCISCO RAMON
BOTANA FERREIRO
CATEDRATICO/A DE UNIVERSIDAD TC
Luciano
González Fernández
Publicacións nas que colabora con Luciano González Fernández (1)
1995
-
Proba automática de teoremas en xeometría elemental con Mathemática
Boletín das ciencias, Año 8, Núm. 24, pp. 140-146