限制条件下的几何自动推理及应用研究

【作者】 葛强

【导师】 张景中;

【作者基本信息】 华中师范大学 , 教育技术学, 2011, 博士