Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers: 9201 (Lecture Notes in Artificial Intelligence) - Softcover

9783319213613: Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers: 9201 (Lecture Notes in Artificial Intelligence)

Softcover

ISBN 10: 331921361X ISBN 13: 9783319213613

Verlag: Springer, 2015

Alle Exemplare dieser ISBN-Ausgabe

3 Gebraucht

Von EUR 87,50

12 Neu

Von EUR 39,61

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The papers show the trend set of current research in automated reasoning in geometry.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Von der hinteren Coverseite

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag: Springer
Erscheinungsdatum: 2015
Sprache: Englisch
ISBN 10: 331921361X
ISBN 13: 9783319213613
Einband: Tapa blanda
Auflage: 1
Anzahl der Seiten: 192
Herausgeber: Botana Francisco, Quaresma Pedro
Kontakt zum Hersteller: Nicht verf�gbar
Verantwortliche Person: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Gebraucht kaufen

Zustand: Wie neu

Like New

Diesen Artikel anzeigen

EUR 87,50

W�hrung umrechnen

EUR 28,91 f�r den Versand von Vereinigtes K�nigreich nach Deutschland

Versandziele, Kosten & Dauer

In den Warenkorb

Neu kaufen

Diesen Artikel anzeigen

EUR 39,61

W�hrung umrechnen

Gratis f�r den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

In den Warenkorb

Suchergebnisse f�r Automated Deduction in Geometry: 10th International...

Foto des Verk�ufers

Automated Deduction in Geometry

Botana, Francisco|Quaresma, Pedro

Verlag: Springer International Publishing, 2015

ISBN 10: 331921361X ISBN 13: 9783319213613

Neu Kartoniert / Broschiert

Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefu. Bestandsnummer des Verk�ufers 35207517

Verk�ufer kontaktieren

Neu kaufen

EUR 39,61

W�hrung umrechnen

Versand: Gratis

Innerhalb Deutschlands

Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Foto des Verk�ufers

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

Pedro Quaresma

Verlag: Springer International Publishing, 2015

ISBN 10: 331921361X ISBN 13: 9783319213613

Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The papers show the trend set of current research in automated reasoning in geometry. Bestandsnummer des Verk�ufers 9783319213613

Verk�ufer kontaktieren

Neu kaufen

EUR 42,80

W�hrung umrechnen

Versand: Gratis

Innerhalb Deutschlands

Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Automated Deduction in Geometry

Pedro Quaresma

Verlag: Springer International Publishing, Springer International Publishing Jul 2015, 2015

ISBN 10: 331921361X ISBN 13: 9783319213613

Neu Taschenbuch

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The papers show the trend set of current research in automated reasoning in geometry.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch. Bestandsnummer des Verk�ufers 9783319213613

Verk�ufer kontaktieren

Neu kaufen

EUR 42,80

W�hrung umrechnen

Versand: Gratis

Innerhalb Deutschlands

Versandziele, Kosten & Dauer

Anzahl: 2 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Automated Deduction in Geometry

Pedro Quaresma

Verlag: Springer International Publishing Jul 2015, 2015

ISBN 10: 331921361X ISBN 13: 9783319213613

Neu Taschenbuch

Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The papers show the trend set of current research in automated reasoning in geometry. 192 pp. Englisch. Bestandsnummer des Verk�ufers 9783319213613

Verk�ufer kontaktieren