中国科学院数学与系统科学研究院期刊网
数学机械化中的AC=BD模式
张鸿庆
The Model AC=BD for Mathematics Mechanization
ZHANG Hongqing
系统科学与数学 . 2008, (8): 1030 -1039 .  DOI: 10.12341/jssms10187