Description: Automated Deduction in Geometry Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers Author(s): Francisco Botana, Pedro Quaresma Format: Paperback Publisher: Springer International Publishing AG, Switzerland Imprint: Springer International Publishing AG ISBN-13: 9783319213613, 978-3319213613 Synopsis This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The papers show the trend set of current research in automated reasoning in geometry.
Price: 30.55 GBP
Location: Aldershot
End Time: 2025-01-05T12:23:40.000Z
Shipping Cost: 27.93 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 60 days
Return policy details:
Book Title: Automated Deduction in Geometry
Number of Pages: 181 Pages
Language: English
Publication Name: Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
Publisher: Springer International Publishing A&G
Publication Year: 2015
Subject: Computer Science, Mathematics
Item Height: 235 mm
Item Weight: 2993 g
Type: Textbook
Author: Pedro Quaresma, Francisco Botana
Series: Lecture Notes in Artificial Intelligence
Item Width: 155 mm
Format: Paperback
