Erschienen: 25.01.2006 Abbildung von Hong / Wang | Automated Deduction in Geometry | 2006

Hong / Wang

Automated Deduction in Geometry

5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

2006. Buch. x, 213 S. Bibliographien. Softcover

Springer. ISBN 978-3-540-31332-8

Format (B x L): 15,5 x 23,5 cm

Gewicht: 355 g

In englischer Sprache

Produktbeschreibung

This book presents the thoroughly refereed post-proceedings of the 5th International Workshop on Automated Deduction in Geometry, ADG 2004, held at Gainesville, FL, USA in September 2004.

The 12 revised full papers presented aurvey current issues theoretical and methodological topics as well as applications thereof - in particular automated geometry theorem proving, automated geometry problem solving, problems of dynamic geometry, and an object-oriented language for geometric objects.

Gesamtwerk

Die 8. Auflage ist wieder auf sechs Bände angelegt. Darin finden sich übersichtlich und in systematischer Gliederung Vertragsmuster aus der Feder erfahrener Experten. Jedem dieser Muster folgen Anmerkungen, mit denen der dem Vertragsentwurf zu Grunde liegende Sachverhalt und die Gründe für die Wahl des spezifischen Formulars erläutert werden.

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...