基于等价类推理的几何自动推理网*
江建国，张景中
The Automated Geometry Reasoning Network Based on Equivalent Class Reasoning
JIANG JianGuo, ZHANG JingZhong
模式识别与人工智能 . 2006, (5): 617 -628 . 

版权所有 © 《模式识别与人工智能》编辑部
地址：安微省合肥市蜀山湖路350号中国科学院合肥物质科学研究院文情小楼　
邮编：230031
电话：0551-65591176　
E-mail：bjb@iim.ac.cn
技术支持：北京玛格泰克科技发展有限公司