第四届微分代数及相关领域国际研讨会
11010301043
2010
A0605.符号计算与机器证明
冯如勇
国际(地区)合作与交流项目
研究员
中国科学院数学与系统科学研究院
3万元
2010-10至2010-12
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
未查询到项目成果
查看更多信息请先登录或注册
