Automated Deduction in Geometry - 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers (Paperback, 2013 ed.)

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. The conference represents a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction; the scope of the ADG 2012 moreover has been expanded to cover topics in dynamic geometry.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Artificial Intelligence, 7993
Release date:	September 2013
First published:	2013
Editors:	Tetsuo Ida • Jacques Fleuriot
Dimensions:	235 x 155 x 11mm (L x W x T)
Format:	Paperback
Pages:	193
Edition:	2013 ed.
ISBN-13:	978-3-642-40671-3
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > Software engineering Books > Science & Mathematics > Mathematics > Applied mathematics > Mathematics for scientists & engineers Books > Computing & IT > Applications of computing > Artificial intelligence > General Books > Computing & IT > Applications of computing > Image processing > General
LSN:	3-642-40671-8
Barcode:	9783642406713

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!