Automated Deduction Geometry (127 results)

- Softcover
Seller: Anybook.com, Lincoln, United KingdomAnybook.com
Contact seller5-star sellerCondition: Used - Good
US$ 3.41
US$ 17.95 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN:9783540642978.

- Softcover
Seller: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, GermanyAntiquariat Thomas Haker GmbH & Co. KG
Contact seller5-star sellerAssociation member: GIAQ
Condition: Used - As new
US$ 13.52
US$ 17.09 shippingShips from Germany to U.S.A.Quantity: 1 available
Paperback. Condition: Wie neu. X, 211 S.; Ill. Like new. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 450.

- Softcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contact seller5-star sellerCondition: Used - Very good
US$ 39.99
US$ 6.99 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.

- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 48.30
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.

- Softcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
US$ 54.87
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 54.87
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 54.84
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: Used
US$ 54.70
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Condition: Used. pp. 248.

Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin 2011
- Softcover
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contact seller5-star sellerCondition: New
US$ 60.50
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: new. 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 improv…ement 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 multiple locations in the US or from the UK, depending on stock availability.

- Softcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: Used
US$ 52.13
US$ 8.58 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Used. pp. 248 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 59.68
US$ 2.64 shippingShips within U.S.A.Quantity: 2 available
Condition: New.

Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin 2011
- Softcover
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contact seller5-star sellerCondition: New
US$ 62.33
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: new. Paperback. This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Automated Deduction in Geometry, ADG 2008, held in Shanghai, China in September 2008. The 11 revised full papers presented were carefully reviewed and selected from numerous initial s…ubmissions for the workshop during two rounds of reviewing and improvement. The papers show the lively variety of topics and methods and the current applicability of automated deduction in geometry to different branches of mathematics such as discrete mathematics, combinatorics, and numerics; symbolic and numeric methods for geometric computation, and geometric constraint solving. Further issues are the design and implementation of geometry software, special-purpose tools, automated theorem provers - in short applications of ADG to mechanics, geometric modeling, CAGD/CAD, computer vision, robotics and education. This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Automated Deduction in Geometry, ADG 2008, held in Shanghai, China in September 2008. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

- Softcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: Used
US$ 55.04
US$ 11.33 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Used. pp. 248.

- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 62.11
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.

Automated Deduction in Geometry : 5th International Workshop, Adg 2004, Gainesville, Fl, Usa, September 16-18, 2004, Revised Papers
Hong, Hoon (EDT); Spaccapietra, Stefano (EDT); Wang, Dongming (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 62.41
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.

Automated Deduction in Geometry : 4th International Workshop, Adg 2002, Hagenberg Castle, Austria, September 4-6, 2002 : Revised Papers
International Workshop on Automated Deduction in Geometry 2002 Linz; Winkler, Franz
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 62.41
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.

- Softcover
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contact seller5-star sellerCondition: New
US$ 65.06
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: New. Automated Deduction in Geometry: 5th International Workshop, Adg 2004, Gainesville, Fl, Usa, September 16-18, 2004, Revised Papers. Book.

- Softcover
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contact seller5-star sellerCondition: New
US$ 65.06
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: New. Automated Deduction in Geometry: 4th International Workshop, Adg 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers. Book.

- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 62.80
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 68.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.

- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 68.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.

Automated Deduction in Geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : Selected Papers
International Workshop on Automated Deduction in Geometry (1st : 1996 : Toulouse, France) (COR); Wang, Dongming
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 65.84
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

Automated Deduction in Geometry : 2nd International Workshop, Adg'98, Beijing, China, August 1-3, 1998, Pr Oceedings
International Workshop on Automated Deduction in Geometry 1998 beijin; Wang, Dongming (EDT); Yang, Lu (EDT); Siekmann, J. (EDT); Gao, Xiao-Shan; Wang, Dongming; Yang, Lu
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 66.25
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

Automated Deduction in Geometry : 5th International Workshop, Adg 2004, Gainesville, Fl, Usa, September 16-18, 2004, Revised Papers
Hong, Hoon (EDT); Spaccapietra, Stefano (EDT); Wang, Dongming (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 66.60
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 55.14
US$ 15.81 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.

Automated Deduction in Geometry : 8th International Workshop, Adg 2010, Munich, Germany, July 22-24, 2010, Revised Papers
Schreck, Pascal (EDT); Narboux, Julien (EDT); Richter-Gebert, Jurgen (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 69.66
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.

Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE 2011
- Softcover
Seller: Rarewaves.com USA, London, LONDO, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
US$ 72.31
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New. 2011 ed.

- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 70.84
US$ 2.64 shippingShips within U.S.A.Quantity: 2 available
Condition: As New. Unread book in perfect condition.

Automated Deduction in Geometry : 8th International Workshop, Adg 2010, Munich, Germany, July 22-24, 2010, Revised Papers
Schreck, Pascal (EDT); Narboux, Julien (EDT); Richter-Gebert, Jurgen (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 71.03
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.

- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 55.13
US$ 19.80 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.