计算机自动推理的理论与实现
基本信息
批准号：68873014
项目类别：面上项目
资助金额：2.00
负责人：李永礼
学科分类：
依托单位：兰州大学
批准年份：1988
结题年份：1991
起止时间：1989-01-01 - 1991-12-31
项目状态： 已结题
项目参与者：李廉,张洛欣,王生源,管会生,丁永康,李英成,文获和
关键词：
符号处理语义分析。自动推理
结项摘要
把代数构造方法与归结原理结合起来,开展自动推理及与之相关的领域:E-PROLOG,抽象数据型,代数语义,PETRI网的理论研究与应用探索,开发出有一定实用价值的代数学的计算机辅助证明系统及软件支撑环境,以深化对自动推理的理论和实践认识.
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
DOI：
发表时间：
2
基于文献计量学和社会网络分析的国内高血压病中医学术团队研究
基于文献计量学和社会网络分析的国内高血压病中医学术团队研究
DOI：10.11842/wst.20190724002
发表时间：2020
3
高分五号卫星多角度偏振相机最优化估计反演:角度依赖与后验误差分析
高分五号卫星多角度偏振相机最优化估计反演:角度依赖与后验误差分析
DOI：10.7498/aps.68.20181682
发表时间：2019
4
铁路大跨度简支钢桁梁桥车-桥耦合振动研究
铁路大跨度简支钢桁梁桥车-桥耦合振动研究
DOI：10.3969/j.issn.1000-0844.2017.05.0820
发表时间：2017
5
基于暂态波形相关性的配电网故障定位方法
基于暂态波形相关性的配电网故障定位方法
DOI：10.7500/aeps20191122006
发表时间：2020
李永礼的其他基金
相似国自然基金
1
计算机自动推理
批准号：68673036
批准年份：1986
负责人：刘叙华
学科分类：F02
资助金额：2.00
项目类别：面上项目
2
本体的构建理论和推理实现
批准号：60373042
批准年份：2003
负责人：眭跃飞
学科分类：F0201
资助金额：18.00
项目类别：面上项目
3
合情推理模式与计算机模拟
批准号：68973019
批准年份：1989
负责人：张文修
学科分类：F02
资助金额：3.00
项目类别：面上项目
4
综合质量诊断与控制理论及其计算机实现
批准号：79370008
批准年份：1993
负责人：张公绪
学科分类：G0108
资助金额：8.00
项目类别：面上项目