Automated Deduction in Geometry

Automated Deduction in Geometry

EnglishPaperback / softbackPrint on demand
Springer, Berlin
EAN: 9783319213613
Print on demand
Delivery on Monday, 27. of January 2025
CZK 1,053
Common price CZK 1,170
Discount 10%
pc
Do you want this product today?
Oxford Bookshop Praha Korunní
not available
Librairie Francophone Praha Štěpánská
not available
Oxford Bookshop Ostrava
not available
Oxford Bookshop Olomouc
not available
Oxford Bookshop Plzeň
not available
Oxford Bookshop Brno
not available
Oxford Bookshop Hradec Králové
not available
Oxford Bookshop České Budějovice
not available
Oxford Bookshop Liberec
not available

Detailed information

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.
EAN 9783319213613
ISBN 331921361X
Binding Paperback / softback
Publisher Springer, Berlin
Publication date July 27, 2015
Pages 181
Language English
Dimensions 235 x 155
Country Switzerland
Illustrations 54 Illustrations, black and white; IX, 181 p. 54 illus.
Editors Botana Francisco; Quaresma Pedro
Edition 1st ed. 2015
Series Lecture Notes in Computer Science