Automated Deduction in Geometry - Xiao-lu Gao - Häftad | Bokus