pascal schreck
Automated Deduction in Geometry
Besorgungstitel - wird vorgemerktThis book constitutes the thoroughly refereed post-workshop proceedings of the 8th International ...
- 1
This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International ...