- 5 Ergebnisse
Kleinster Preis: € 13,96, größter Preis: € 57,23, Mittelwert: € 35,99
1
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)
Bestellen
bei amazon.de
€ 57,23
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

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) - Taschenbuch

2010, ISBN: 9783540313328

Series Editor: Wang, Dongming, Springer Berlin Heidelberg, Taschenbuch, Auflage: 2006, 228 Seiten, Publiziert: 2010-06-02T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 0.72 k… Mehr…

Versandkosten:Auf Lager, Lieferung von Amazon. (EUR 0.00) Amazon.de
zuklappen (X)
2
Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers: 3763 (Lecture Notes in Computer Science, 3763)
Bestellen
bei amazon.co.uk
£ 35,62
(ca. € 41,60)
Versand: € 5,611
Bestellen
Details beim Anbieter
gesponserter Link
Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers: 3763 (Lecture Notes in Computer Science, 3763) - Taschenbuch

2006, ISBN: 9783540313328

Editor: Hong, Hoon, Editor: Wang, Dongming, Springer, Paperback, Auflage: 2006, 223 Seiten, Publiziert: 2006-01-25T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: biography, 0.33 kg, Spec… Mehr…

Gebraucht, wie neu. Versandkosten:Usually dispatched within 10 to 11 days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.61) swestbooks
zuklappen (X)
3
Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers: 3763 (Lecture Notes in Computer Science, 3763)
Bestellen
bei amazon.co.uk
£ 12,00
(ca. € 14,02)
Versand: € 5,611
Bestellen
Details beim Anbieter
gesponserter Link
Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers: 3763 (Lecture Notes in Computer Science, 3763) - Taschenbuch

2006

ISBN: 9783540313328

Editor: Hong, Hoon, Editor: Wang, Dongming, Springer, Paperback, Auflage: 2006, 223 Seiten, Publiziert: 2006-01-25T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: biography, 0.33 kg, Spec… Mehr…

Versandkosten:In stock. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.61) ErgodeBooks Ships From USA
zuklappen (X)
4
Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers: 3763 (Lecture Notes in Computer Science, 3763)
Bestellen
bei amazon.co.uk
£ 12,00
(ca. € 13,96)
Versand: € 5,591
Bestellen
Details beim Anbieter
gesponserter Link
Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers: 3763 (Lecture Notes in Computer Science, 3763) - Taschenbuch

2006, ISBN: 9783540313328

Editor: Hong, Hoon, Editor: Wang, Dongming, Springer, Paperback, Auflage: 2006, 223 Seiten, Publiziert: 2006-01-25T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: biography, 0.33 kg, Book… Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.59)
zuklappen (X)
5
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)
Bestellen
bei amazon.de
€ 53,15
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
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) - Taschenbuch

2010, ISBN: 9783540313328

Series Editor: Wang, Dongming, Springer Berlin Heidelberg, Taschenbuch, Auflage: 2006, 228 Seiten, Publiziert: 2010-06-02T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 0.72 k… Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
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)
Autor:
Titel:
ISBN-Nummer:

354031332X


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 (Lecture Notes in Computer Science, 3763, Band 3763)


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

Buch in der Datenbank seit 2008-02-04T06:41:37+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-02-28T20:32:23+01:00 (Berlin)
ISBN/EAN: 354031332X

ISBN - alternative Schreibweisen:
3-540-31332-X, 978-3-540-31332-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: hong
Titel des Buches: geometry art, automated deduction geometry, september, usa, beyond geometry, lecture notes computer science, papers

Daten vom Verlag:

Autor/in: Hoon Hong; Dongming Wang
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Automated Deduction in Geometry - 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
Verlag: Springer; Springer Berlin
213 Seiten
Erscheinungsjahr: 2006-01-25
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 213 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; automated deduction; computational geometry; computer vision; computer-aided design; dynamic geometry; formal verification; geometric deduction; geometric modeling; geometric optimization; geometric problem solving; geometry software; kinematics; optimization; proving; theorem proving; Artificial Intelligence; Formal Languages and Automata Theory; Discrete Mathematics in Computer Science; Computer Graphics; Automated Pattern Recognition; Convex and Discrete Geometry; Theoretische Informatik; Mathematik für Informatiker; Diskrete Mathematik; Grafikprogrammierung; Mustererkennung; Geometrie; EA

Mechanical Theorem Proving in Computational Geometry.- Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness.- Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases.- Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides.- Symbolic Solution of a Piano Movers’ Problem with Four Parameters.- Computing Curves Bounding Trigonometric Planar Maps: Symbolic and Hybrid Methods.- Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach.- On the Decidability of Tracing Problems in Dynamic Geometry.- Towards a Geometric-Object-Oriented Language.- Spatial Planning and Geometric Optimization: Combining Configuration Space and Energy Methods.- nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation.- Planar Generalized Stewart Platforms and Their Direct Kinematics.

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

Neuestes ähnliches Buch:
9783540313632 Automated Deduction in Geometry (Hoon Hong; Dongming Wang)

< zum Archiv...