- 0 Ergebnisse
Kleinster Preis: € 50,90, größter Preis: € 74,99, Mittelwert: € 63,65
1
Bestellen
bei booklooker.de
€ 69,90
Versand: € 0,00
Bestellen
Hong, Hoon:

Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers Hoon Hong Taschenbuch Lecture Notes in Computer Science Book - Taschenbuch

2006, ISBN: 9783540313328

[ED: Taschenbuch], [PU: Springer Berlin], This book presents the thoroughly refereed post-proceedings of the 5th International Workshop on Automated Deduction in Geometry, ADG 2004, held … Mehr…

  - Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
2
Bestellen
bei booklooker.de
€ 50,90
Versand: € 0,00
Bestellen

Hong, Hoon:

Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers Hoon Hong (u. a.) Taschenbuch Book Englisch 2006 - Taschenbuch

2006, ISBN: 9783540313328

[ED: Taschenbuch], [PU: Springer Berlin], This book presents the thoroughly refereed post-proceedings of the 5th International Workshop on Automated Deduction in Geometry, ADG 2004, held … Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
3
Bestellen
bei booklooker.de
€ 52,90
Versand: € 0,00
Bestellen
Hong, Hoon:
Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers Hoon Hong (u. a.) Taschenbuch Book Englisch 2006 - Taschenbuch

2006

ISBN: 9783540313328

[ED: Taschenbuch], [PU: Springer Berlin], This book presents the thoroughly refereed post-proceedings of the 5th International Workshop on Automated Deduction in Geometry, ADG 2004, held … Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
Bezahlte Anzeige
4
Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers - Hong, Hoon (Herausgeber); Wang, Dongming (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 74,99
Versand: € 0,00
Bestellen
Hong, Hoon (Herausgeber); Wang, Dongming (Herausgeber):
Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers - neues Buch

2006, ISBN: 354031332X

2006 Kartoniert / Broschiert Begründung / Beweis, Beweis, Geometrie, Raumlehre, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Diskret (mathematisch), Mathematik… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
5
Automated Deduction in Geometry - Hoon Hong; Dongming Wang
Bestellen
bei Springer.com
€ 69,54
Bestellen
Hoon Hong; Dongming Wang:
Automated Deduction in Geometry - neues Buch

ISBN: 9783540313328

Computer Science; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Discrete Mathematics in Computer Science; Computer Graphics; Pattern Recognition; Conv… Mehr…

  - Versandkosten:zzgl. Versandkosten.

Details zum Buch
Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers 1st Edition

This book constitutes 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 were carefully selected from the papers accepted for the workshop after careful reviewing. All current issues in the area are addressed - 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.

Detailangaben zum Buch - Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers 1st Edition


EAN (ISBN-13): 9783540313328
ISBN (ISBN-10): 354031332X
Taschenbuch
Erscheinungsjahr: 2004
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2008-02-04T06:41:37+01:00 (Berlin)
Detailseite zuletzt geändert am 2021-03-19T11:23:57+01:00 (Berlin)
ISBN/EAN: 354031332X

ISBN - alternative Schreibweisen:
3-540-31332-X, 978-3-540-31332-8


Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783319213613 Automated Deduction in Geometry (Herausgegeben von Botana, Francisco Quaresma, Pedro)


< zum Archiv...