中国精算研究院

张 宁:自动证明的仿射括号代数深入研究KLMM0804

发布时间:2011-07-19 00:00    浏览次数:[]

项目来源: 企事业单位委托项目

项目批准时间: 2008-05-01

计划完成时间: 2009-05-13

负责人: 张宁

E-Mail: zhangn@cias.edu.cn

(责任编辑:llz)