Hits:
Leading Scientist:Yang Zhiqing
Status:结题
Supported by:大连理工大学
Nature of Project:纵向
Date of Project Approval:2007-12-31
Scheduled completion time:2009-12-31
Date of Project Initiation:2008-01-01
Date of Project Completion:2009-12-31
Pre One:针对系统软件的软件模型检测工具设计
Next One:三维流形中的代数与组合方法
