Proba automática de teoremas en xeometría elemental con Mathemática

  1. Luciano González Férnandez 1
  2. Francisco Botana Ferreiro 1
  1. 1 Universidade de Vigo. Departamento de Matemática Aplicada
Zeitschrift:
Boletín das ciencias

ISSN: 0214-7807

Datum der Publikation: 1995

Titel der Ausgabe: VIII CONGRESO ENCIGA

Jahr: 8

Nummer: 24

Seiten: 140-146

Art: Artikel

DIALNET GOOGLE SCHOLAR

Andere Publikationen in: Boletín das ciencias

Fuente de los datos: Dialnet