Sixth International Workshop on Automated Deduction in Geometry
ISSN: 1138-8927
Ano de publicación: 2006
Volume: 9
Número: 3
Páxinas: 806-808
Tipo: Artigo
ISSN: 1138-8927
Ano de publicación: 2006
Volume: 9
Número: 3
Páxinas: 806-808
Tipo: Artigo