Automated Deduction in Geometry

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

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

Autor: Francisco Botana, Pedro Quaresma

Język:

Oprawa: Miękka

Wydawca: Springer International Publishing AG

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

170.76 zł

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

Informacje o książce

Autor

Francisco Botana, Pedro Quaresma

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2015

strony

181

EAN

9783319213613

ISBN

331921361X

Enbook ID

09366242

Wydawca

Springer International Publishing AG

Waga

2993

Wymiary

155 x 235 x 10

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Automated Deduction in Geometry

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również