Explorations of combined theory solvers and interactive theorem proving
Explorations of combined theory solvers and interactive theorem proving
组合理论求解器和交互式定理证明的探索
批准号：
497634-2016
负责人：
Kwan, Carl
金额：
$0.33万
依托单位国家：
加拿大
项目类别：
University Undergraduate Student Research Awards
财政年份：
2016
资助国家：
加拿大
项目状态：
已结题
起止时间：
2016-01-01 至 2017-12-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
国内基金
海外基金
“合金标准”下测量误差校正模型及其在体育运动数据中的应用
-
批准号：10801133
-
项目类别：青年科学基金项目
-
资助金额：17.0万元
-
批准年份：2008
-
负责人：张三国
-
依托单位：
