Automated Deduction in Geometry

Name: Automated Deduction in Geometry
Brand: Springer, Berlin
SKU: 9783642406713
Price: 45.97 EUR
Availability: InStock

9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Autor: Jacques Fleuriot, Tetsuo Ida

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

45.97 €

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Wor...

Informácie o knihe

Autor

Jacques Fleuriot, Tetsuo Ida

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2013

Stránok

193

EAN

9783642406713

ISBN

3642406718

Enbook ID

02016955

Vydavateľ

Springer, Berlin

Hmotnosť

320

Rozmery

154 x 237 x 12

Kompletný popis

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. The conference represents a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction; the scope of the ADG 2012 moreover has been expanded to cover topics in dynamic geometry.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Automated Deduction in Geometry

9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež