We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Computing & IT
  5. Automated Deduction in Geometry

Automated Deduction in Geometry

- 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

part of the Lecture Notes in Computer Science series

part of the Lecture Notes in Artificial Intelligence series

Automated Deduction in Geometry Save 16% from RPP Save 16%
About Automated Deduction 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 papers show the trend set of current research in automated reasoning in geometry.

Show more
  • Language:
  • English
  • ISBN:
  • 9783319213613
  • Binding:
  • Paperback
  • Pages:
  • 181
  • Published:
  • July 26, 2015
  • Edition:
  • 12015
  • Dimensions:
  • 155x235x10 mm.
  • Weight:
  • 2993 g.
Delivery: 2-4 weeks
Expected delivery: December 19, 2024

Description of Automated Deduction 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 papers show the trend set of current research in automated reasoning in geometry.

User ratings of Automated Deduction in Geometry



Others also bought..
Find similar books
The book Automated Deduction in Geometry can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.