Automated Deduction in Geometry Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings Gao, Xiao-lu Heftet / 1999 / Engelsk
