Automated Deduction in Geometry: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers (Lecture Notes in Computer Science, 2930, Band 2930)

Der Band dokumentiert die Ergebnisse des internationalen Workshops „Automated Deduction in Geometry“, abgehalten im Schloss Hagenberg im September ...

Allgemein

Marke
Franz Winkler
ISBN
Franz Winkler 3540209271
MPN
Franz Winkler Illustrations

Eigenschaften

Menü