Publications by the researcher in collaboration with Luciano González Fernández (1)

1995

  1. 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