再问科研
基金查询
精品课程
学科分析
选题分析
AI润色
新闻公告
趋势报告
经验分享
社科查询
登录
注册
李廉
面上项目
项目编号:
69273034 【年份:1992】
项目名称:
数学定理机器证明的基础研究与软件开发
资助金额:
5万
单位名称:
兰州大学
学科分类:
F0214.新型计算及其应用基础
参与者:
兰州大学
数学定理机器证明的基础研究与软件开发
项目批准号:
69273034
批准年份:
1992
学科分类:
F0214.新型计算及其应用基础
项目负责人:
李廉
资助类别:
面上项目
负责人职称:
教授
依托单位:
兰州大学
资助金额:
5万元
关键词:
***
起止时间:
1993-01-01到1995-12-31
中英文摘要
结题摘要
结题报告
项目成果
项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
标题
类型
全部
期刊论文
会议论文
著作
奖励
专利
作者
搜索
重置
未查询到项目成果
查看更多信息请先登录或注册
相关项目
1
代理模型辅助的冷链物流车辆路径进化优化方法研究
2
基于人机混合的高效边缘智能计算方法研究
3
面向临震预测的危险式计算机免疫协同机制研究
趋势报告
国家自然科学基金申报辅导服务
国自然申请攻略干货全集(1月30日大更新)
【专业会员】独享&免费内容合集
经验分享
国家自然科学基金申报辅导服务
国自然申请攻略干货全集(1月30日大更新)
【专业会员】独享&免费内容合集
年份:
请选择
2022年
2021年
2020年
2019年
2018年
2017年
2016年
2015年
2014年
2013年
2012年
2011年
2010年
2009年
2008年
2007年
2006年
2005年
2004年
2003年
2002年
2001年
2000年
1999年
1998年
1997年
1996年
1995年
1994年
1993年
1992年
1991年
1990年
1989年
1988年
项目负责人:
单位名称:
提交
由于2020年国自然政策发生变化,若您身边有2020年获得过国自然的请提交一下