数学定理计算机辅助证明
68873002
1988
F0201.计算机科学的基础理论
王攻本
面上项目
教授
北京联合大学
3万元
计算机辅助定理证明;REMSEY数;算法分析
1989-01-01到1991-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
未查询到项目成果
查看更多信息请先登录或注册
