9783540313328 - automated deduction in geometry: 5th international workshop, adg 2004, gainesville, fl, usa, september 16-18, 2004, revised papers (lecture notes in computer science, 3763, band 3763) (4 Ergebnisse)
Automated Deduction in Geometry: 5th International Workshop, Adg 2004, Gainesville, Fl, Usa, September 16-18, 2004, Revised Papers
Hong, Hoon (Editor)/ Spaccapietra, Stefano (Editor)/ Wang, Dongming (Editor)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 79,35
EUR 11,68 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 1st edition. 213 pages. 9.00x6.10x0.60 inches. In Stock.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 78,33
EUR 13,99 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,60
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Kartoniert / Broschiert. Zustand: New. All current issues in the area are addressedCovers theoretical and methodological topics as well as applications thereof Includes an particular automated geometry theorem proving, automated geometry pr.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 73,45
EUR 61,74 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. Neuware - 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 a…s applications thereof - in particular automated geometry theorem proving, automated geometry problem solving, problems of dynamic geometry, and an object-oriented language for geometric objects.
