定理机器证明
基本信息
批准号：68973033
项目类别：面上项目
资助金额：3.50
负责人：刘叙华
学科分类：
依托单位：吉林大学
批准年份：1989
结题年份：1993
起止时间：1990-01-01 - 1993-12-31
项目状态： 已结题
项目参与者：姜云飞,王树义,安直,石生力,管小军
关键词：
定理机器证明归结原理自动推理
结项摘要
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于SSVEP 直接脑控机器人方向和速度研究
基于SSVEP 直接脑控机器人方向和速度研究
DOI：10.16383/j.aas.2016.c150880
发表时间：2016
2
采用深度学习的铣刀磨损状态预测模型
采用深度学习的铣刀磨损状态预测模型
DOI：10.3969/j.issn.1004-132x.2020.17.009
发表时间：2020
3
时间序列分析与机器学习方法在预测肺结核发病趋势中的应用
时间序列分析与机器学习方法在预测肺结核发病趋势中的应用
DOI：
发表时间：2020
4
基于公司行业结构的哈尔滨跨区域联系网络分析
基于公司行业结构的哈尔滨跨区域联系网络分析
DOI：10.31497/zrzyxb.20200712
发表时间：2020
5
热塑性复合材料机器人铺放系统设计及工艺优化研究
热塑性复合材料机器人铺放系统设计及工艺优化研究
DOI：10.3901/jme.2021.23.209
发表时间：2021
刘叙华的其他基金
批准号：69373004
批准年份：1993
资助金额：6.00
项目类别：面上项目
批准号：69073311
批准年份：1990
资助金额：4.00
项目类别：面上项目
批准号：69473027
批准年份：1994
资助金额：7.00
项目类别：面上项目
批准号：68673036
批准年份：1986
资助金额：2.00
项目类别：面上项目
相似国自然基金
1
非Tarski模型定理机器证明
批准号：61070048
批准年份：2010
负责人：郁文生
学科分类：F0201
资助金额：30.00
项目类别：面上项目
2
基于本体的几何定理机器证明
批准号：61073099
批准年份：2010
负责人：符红光
学科分类：F06
资助金额：32.00
项目类别：面上项目
3
基于归结方法的定理机器证明
批准号：69373004
批准年份：1993
负责人：刘叙华
学科分类：F0201
资助金额：6.00
项目类别：面上项目
4
有限制条件的几何定理机器证明
批准号：60903023
批准年份：2009
负责人：陈矛
学科分类：F0201
资助金额：17.00
项目类别：青年科学基金项目