Order Total (1 Item Items):
Shipping Destination:
Automated Deduction Geometry (125 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (125)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (102)
- As New, Fine or Near Fine (20)
- Very Good or Good (3)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (125)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (67)
- Not Print on Demand (93)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
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.
-
Automated Deduction in Geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31 - September 2, 2006, Revised Papers. (=Lecture notes in computer science ; Vol. 4869 : Lecture notes in artificial intelligence).
Language: English
Published by Berlin, Springer, 2007
Seller: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germany
Association Member: GIAQ
Seller rating 5 out of 5 stars
Paperback. Condition: Wie neu. X, 211 S.; Ill. Like new. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 450.
-
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.
-
-
Automated Deduction in Geometry : Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
Language: English
Published by Springer Berlin / Heidelberg, 1999
ISBN 10: 3540666729 ISBN 13: 9783540666721
Condition: Good. 1999th Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
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.
-
Condition: As New. Unread book in perfect condition.
-
Condition: New. pp. 248.
-
-
Condition: New. 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.
-
Automated Deduction in Geometry (Paperback)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011
ISBN 10: 3642250696 ISBN 13: 9783642250699
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 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 multiple locations in the US or from the UK, depending on stock availability.
-
-
Automated Deduction in Geometry (Paperback)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011
ISBN 10: 3642210457 ISBN 13: 9783642210457
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 submissions 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.
-
-
Condition: New. pp. 248.
-
Condition: As New. Unread book in perfect condition.
-
-
-
-
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers (Lecture Notes in Artificial Intelligence)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 40.27
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: As New. Unread book in perfect condition.
-
Automated Deduction in Geometry : 10th International Workshop, Adg 2014 Coimbra, Portugal July 9-11 2014, Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
-
Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers: 6877 (Lecture Notes in Computer Science, 6877)
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. 2011th.
-
