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
Revista:
Boletín das ciencias

ISSN: 0214-7807

Ano de publicación: 1995

Título do exemplar: VIII CONGRESO ENCIGA

Ano: 8

Número: 24

Páxinas: 140-146

Tipo: Artigo

DIALNET GOOGLE SCHOLAR

Outras publicacións en: Boletín das ciencias

Fonte de datos: Dialnet