Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

*Gültig bis 05.07.2026 auf (fast) alles. Ausgeschlossen sind Smartboxen, Zeitschriften, Tickets, Lebensmittel, Gaming-Elektroartikel, Tinte/Toner, Gutscheine, Geschenkkarten, Blumen und Abos | Einlösbar in allen Buchhandlungen von Orell Füssli, Barth Bücher, Buchladen Rapunzel, Papeterie Köhler, Schuler Orell Füssli, Stauffacher und ZAP unter Vorweisung des Gutscheins, auf www.orellfüssli.ch durch Eingabe des Gutscheincodes. Beim Service „eBooks verschenken“ und bei eBook-Käufen via eReader nicht einlösbar | Mindesteinkaufswert: Fr. 30.- | Nicht mit anderen Rabatten kumulierbar.
  • Produktbild: Automated Deduction in Geometry
  • Produktbild: Automated Deduction in Geometry
Band 9201

Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

Aus der Reihe Lecture Notes in Artificial Intelligence

Fr. 59.90

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.07.2015

Abbildungen

IX, 54 illus., schwarz-weiss Illustrationen

Herausgeber

Francisco Botana + weitere

Verlag

Springer

Seitenzahl

181

Maße (L/B/H)

23.5/15.5/1.1 cm

Gewicht

301 g

Auflage

1st ed. 2015

Sprache

Englisch

ISBN

978-3-319-21361-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.07.2015

Abbildungen

IX, 54 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

181

Maße (L/B/H)

23.5/15.5/1.1 cm

Gewicht

301 g

Auflage

1st ed. 2015

Sprache

Englisch

ISBN

978-3-319-21361-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Automated Deduction in Geometry
  • Produktbild: Automated Deduction in Geometry

  • Star Unfolding Polygons.- Volume Frameworks and Deformation Varieties.- Recent Advances in Real Geometric Reasoning.- The Relation Tool in GeoGebra.- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems.- Integrated Circumradius and Area Formulae for Cyclic Pentagons and Hexagons.- Extension of Simson-Wallace Theorem on Skew Quadrilaterals.- Current Status of the I2GATP Common Format.- On Flattenability of Graphs.- Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams.- Combinatorial Rigidity and Independence of Generalized Pinned Subspace-Incidence Constraint Systems.