Automated Deduction in Geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers
Language: English
Published by Springer 2011-11, 2011
- Softcover
- New
Seller: Chiron Media, Wallingford, United KingdomChiron Media
AbeBooks seller since August 2, 2010
Condition: New
US$ 66.28
Quantity: 10 available
Add to basketSeller Inventory # 6666-IUK-9783642250699
- Title
- Automated Deduction in Geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers
- Author
- Schreck, Pascal
- Publisher
- Springer 2011-11
- Publication year
- 2011
- Condition
- New
- Binding
- PF
- Language
- English
- ISBN 10
- 3642250696
- ISBN 13
- 9783642250699
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.
"Synopsis" may belong to another edition of this title.
Chiron Media
Wallingford, United Kingdom
AbeBooks seller since August 2, 2010
Shipping rates from United Kingdom to U.S.A.
| Item | 14 to 21 business days | 14 to 21 business days |
|---|---|---|
| First item | US$ 20.87 | US$ 20.87 |
Payment methods
Seller's business information
WRAP Ltd
Unit 4, 119 Loverock Rd
Reading, United Kingdom RG30 1DZ
Terms of sale
TBA
Shipping terms
Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.