Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
1st ed. 2015
Book Details
Format
Paperback / Softback
Book Series
Lecture Notes in Computer Science
ISBN-10
331921361X
ISBN-13
9783319213613
Edition
1st ed. 2015
Publisher
Springer International Publishing AG
Imprint
Springer International Publishing AG
Country of Manufacture
CH
Country of Publication
GB
Publication Date
Jul 27th, 2015
Print length
181 Pages
Weight
294 grams
Dimensions
15.50 x 23.40 x 14.30 cms
Ksh 6,300.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
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 papers show the trend set of current research in automated reasoning in geometry.
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.
Get Automated Deduction in Geometry by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has pages.
