代数计算及定理机器证明的理论研究与软件开发
68973030
1989
F0214.新型计算及其应用基础
李廉
面上项目
教授
兰州大学
4万元
定理机器证明;数学研究辅助系统;代数计算
1990-01-01到1992-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
未查询到项目成果
查看更多信息请先登录或注册
