Electronic Books

  1. Home
  2. Electronic Books
Total Books: 1 - 3 /3
978-3-540-77356-6
Automated Deduction in Geometry

The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...

Continue reading
978-3-540-77356-6
Automated Deduction in Geometry

The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...

Continue reading
978-3-540-31363-2
Automated Deduction in Geometry

This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in ...

Continue reading
Total Books: 1 - 3 /3