Sixth International Workshop on Automated Deduction in Geometry
ISSN: 1138-8927
Année de publication: 2006
Volumen: 9
Número: 3
Pages: 806-808
Type: Article
Revue:
Gaceta de la Real Sociedad Matematica Española