Sixth International Workshop on Automated Deduction in Geometry
ISSN: 1138-8927
Datum der Publikation: 2006
Ausgabe: 9
Nummer: 3
Seiten: 806-808
Art: Artikel
ISSN: 1138-8927
Datum der Publikation: 2006
Ausgabe: 9
Nummer: 3
Seiten: 806-808
Art: Artikel