Automated Deduction in Geometry

Name: Automated Deduction in Geometry
Brand: Springer International Publishing AG
SKU: 9783319213613
Price: 15798 HUF
Availability: InStock

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

Szerző: Francisco Botana, Pedro Quaresma

Nyelv:

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

Kiadó: Springer International Publishing AG

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

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

15 798 Ft

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Wo...

Információk a könyvről

Szerző

Francisco Botana, Pedro Quaresma

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2015

oldal

181

EAN

9783319213613

ISBN

331921361X

Enbook ID

09366242

Kiadó

Springer International Publishing AG

Súly

2993

Méretek

155 x 235 x 10

Teljes leírás

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.

É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

10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, 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