Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv

Automated Deduction in Geometry

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

Automated Deduction in Geometry

- 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
Engelsk Paperback
Tjek vores konkurrenters priser
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.
Tjek vores konkurrenters priser
Normalpris
kr 383
Fragt: 39 kr
6 - 8 hverdage
20 kr
Pakkegebyr
God 4 anmeldelser på
Tjek vores konkurrenters priser
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.
Produktdetaljer
Sprog: Engelsk
Sider: 181
ISBN-13: 9783319213613
Indbinding: Paperback
Udgave:
ISBN-10: 331921361X
Kategori: Matematisk logik
Udg. Dato: 27 jul 2015
Længde: 0mm
Bredde: 155mm
Højde: 235mm
Forlag: Springer International Publishing AG
Oplagsdato: 27 jul 2015
Forfatter(e):
Forfatter(e)


Kategori Matematisk logik


ISBN-13 9783319213613


Sprog Engelsk


Indbinding Paperback


Sider 181


Udgave


Længde 0mm


Bredde 155mm


Højde 235mm


Udg. Dato 27 jul 2015


Oplagsdato 27 jul 2015


Forlag Springer International Publishing AG

Kategori sammenhænge