项目来源： 企事业单位委托项目
项目批准时间： 2008-10-09
计划完成时间： 2009-10-09
负责人： 李晓林
E-Mail: lixl@cias.edu.cn
(责任编辑：llz)
下一条：张 宁：自动证明的仿射括号代数深入研究KLMM0804
