Menu
Află starea comenzii
Contactați-ne
Carte Automated Deduction in Geometry Pascal Schreck

Automated Deduction in Geometry

8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers

Autor: Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert
Limbă: engleză
Legare: Carte broșată
Editura: Springer, Berlin
Disponibilitate: În depozitul extern
Expediem în 10-18 zile
321.21 lei
This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Wor...

Informații despre carte

Autor
Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2011
Pagini
259
EAN
9783642250699
ISBN
3642250696
Enbook ID
01659177
Editura
Springer, Berlin
Greutate
421
Dimensiuni
155 x 235 x 20

Descriere completă

This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Automated Deduction in Geometry, ADG 2010, held in Munich, Germany in July 2010. §The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. Topics addressed by the papers are incidence geometry using some kind of combinatoric argument; computer algebra; software implementation; as well as logic and proof assistants.

S-ar putea să te intereseze

Realm of Lesser Evil - An essay on liberal civilization

Michea
328.25 lei

Eltham Palace, Kent. a Paper, Etc.

Richard John Jackson
86.65 lei

Crisis in the American Heartland

George W. Doherty
104.65 lei

Unbroken Circle of Love

Churnet Winborne
102.74 lei

Trust No Man 3

Cash
150.90 lei

Start your Own Freight Brokering Business: Steps to Work From Home and Make Money

L Henry
150.90 lei

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

Landschaften des Bürgerlichen.

Günter Wirth
261.09 lei

Ahlan wa Sahlan, Schlüssel zu den Übungen u. Wörterverzeichnis

Manfred Woidich
55.29 lei

Tier im Spiegel der Sprache

Richard Riegler
189.51 lei

El meu petit jardí

Wiehle
69.26 lei

Quoi qu‘il en soit

151.40 lei