Automated Deduction in Geometry

Name: Automated Deduction in Geometry
Brand: Springer, Berlin
SKU: 9783642406713
Price: 17650 HUF
Availability: InStock

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

Szerző: Jacques Fleuriot, Tetsuo Ida

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

17 650 Ft

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

Információk a könyvről

Szerző

Jacques Fleuriot, Tetsuo Ida

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2013

oldal

193

EAN

9783642406713

ISBN

3642406718

Enbook ID

02016955

Kiadó

Springer, Berlin

Súly

320

Méretek

154 x 237 x 12

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Automated Deduction in Geometry

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták