Automated Deduction in Geometry (Paperback)

Language: English

Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011

3642250696 / 9783642250699

  • Softcover
  • New
See all details

Seller: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller

5-star seller

AbeBooks seller since June 22, 2007

Softcover

Condition: New

£ 72.46

£ 27.66 shipping 
Ships from Australia to U.S.A.

Quantity: 1 available

Add to basket
Free 30-day returns

Item description from seller

Paperback. 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. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.

Seller Inventory # 9783642250699

Title
Automated Deduction in Geometry (Paperback)
Author
Pascal Schreck
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin
Publication year
2011
Condition
new
Binding
Paperback
Language
English
ISBN 10
3642250696
ISBN 13
9783642250699

AussieBookSeller

Truganina, VIC, Australia

5-star seller

AbeBooks seller since June 22, 2007

Shipping rates from Australia to U.S.A.

Item25 to 45 business days8 to 14 business days
First item£ 27.66£ 32.89
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay

Seller's business information

The Nile Group Pty Ltd

42 Apex Drive
Truganina, VIC Australia 3029