Automated Deduction in Geometry

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

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

Autor: Francisco Botana, Pedro Quaresma

Limbă:

Legare: Carte broșată

Editura: Springer International Publishing AG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

221.84 lei

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

Informații despre carte

Autor

Francisco Botana, Pedro Quaresma

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2015

Pagini

181

EAN

9783319213613

ISBN

331921361X

Enbook ID

09366242

Editura

Springer International Publishing AG

Greutate

2993

Dimensiuni

155 x 235 x 10

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Automated Deduction in Geometry

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și