基于产生式规则的几何证明知识库设计

研 究 生 课 程 论 文(2012-2013学年第二学期) 基于产生式的几何证明知识库研究生：乐柱提交日期： 2013年8月20日 研究生签名：×××学