科研项目
非线性系统对称性的自动推理及其应用研究
发布时间：2021-11-18
- 所属单位： 计算机科学学院
- 负责人姓名： 姚若侠
- 项目性质： 纵向
- 项目级别： 省部级
- 项目参与人员： 曹菡,李君霞
- 项目编号： 09601012024
- 立项时间： 2008-08-01
- 计划完成时间： 2010-12-30
- 开始日期： 2009-01-01
- 项目批准号： SJ08A09