计算机应用
     首页 |  广告服务 |  期刊介绍 |  编委会 |  期刊订阅 |  下载中心 |  审稿须知 |  联系我们 |  投稿常见问题解答 |  English Version
计算机应用  2011, Vol. 31 Issue (08): 2101-2104    DOI: 10.3724/SP.J.1087.2011.02101
人工智能 最新目录| 下期目录| 过刊浏览| 高级检索 |
可由用户持续发展的几何自动推理平台的推理算法
郑焕1,张景中1,2
1. 广州大学 计算机科学与教育软件学院,广州510006
2. 中国科学院 成都计算机应用研究所,成都610041
Reasoning algorithm of geometry automatic reasoning platform with sustainable development by user
Huan ZHENG1,Jing-zhong ZHANG1,2
1. School of Computer Science and Educational Software, Guangzhou University, Guangzhou Guangdong 510006, China
2. Chengdu Institute of Computer Application, Chinese Academy of Sciences, Chengdu Sichuan 610041, China



版权所有 ©2005 四川计算机应用杂志社有限公司
新出网证(川)字026号  蜀ICP备 05010208 号
地址:四川省成都市武侯区人民南路四段9号中国科学院成都分院《计算机应用》 编辑部
邮政编码: 610041 电话: 028-85224283-803 E-mail: bjb@joca.cn