基于网络数据共享的平面几何自动推理系统的研究

【作者】 刘颖奇；

【导师】 黄勇；

【作者基本信息】 广州大学 ， 课程与教学论， 2010， 硕士