36641

4363177

Francisco Botana

Automated Deduction in Geometry - 10th International Workshop, ADG 2014 (Lecture Notes in Computer Science)

Springer

2015

9783319213613