|
|
Showing 1 - 1 of
1 matches in All Departments
|
Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers (Paperback, 2011 ed.)
Pascal Schreck, Julien Narboux, Jurgen Richter-Gebert
|
R1,741
Discovery Miles 17 410
|
Ships in 18 - 22 working days
|
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.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R367
R340
Discovery Miles 3 400
Law@Work
A. Van Niekerk, N. Smit
Paperback
R1,367
R1,248
Discovery Miles 12 480
Moonfall
Halle Berry, Patrick Wilson, …
DVD
(1)
R441
Discovery Miles 4 410
Loot
Nadine Gordimer
Paperback
(2)
R367
R340
Discovery Miles 3 400
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.