15 元券 推导第五届International几何 ¥538 0去看看 中华商务图书专营店发布了 海外直订Automated Deduction in Geometry: 5th International Workshop, Adg 2004, Gainesvil 几何的自动推导:第五届国际