高阶演绎系统与机器定理发现
基本信息
批准号：69083308
项目类别：专项基金项目
资助金额：4.00
负责人：孙怀民
学科分类：
依托单位：北京航空航天大学
批准年份：1990
结题年份：1993
起止时间：1991-01-01 - 1993-12-31
项目状态： 已结题
项目参与者：尹宝林,许光汉,谭风琴
关键词：
狭义论二阶常规绎广义论
结项摘要
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
复杂系统科学研究进展
复杂系统科学研究进展
DOI：10.12202/j.0476-0301.2022178
发表时间：2022
2
政策工具影响耕地保护效果的区域异质性——基于中国省际面板数据的实证研究
政策工具影响耕地保护效果的区域异质性——基于中国省际面板数据的实证研究
DOI：:10.12062/cpre.20190511
发表时间：2019
3
低复杂度的fMRI脑激活区定位的盲分离算法
低复杂度的fMRI脑激活区定位的盲分离算法
DOI：10.11996/JG.j.2095-302X.2020060947
发表时间：2020
4
A Fast Algorithm for Computing Dominance Classes
A Fast Algorithm for Computing Dominance Classes
DOI：
发表时间：2016
5
基于非凸低秩稀疏约束的船舶交通流量预测
基于非凸低秩稀疏约束的船舶交通流量预测
DOI：
发表时间：2018
孙怀民的其他基金
批准号：68675032
批准年份：1986
资助金额：3.50
项目类别：面上项目
相似国自然基金
1
高阶逻辑定理证明技术
批准号：69673007
批准年份：1996
负责人：陆汝占
学科分类：F0201
资助金额：6.00
项目类别：面上项目
2
定理机器证明
批准号：68973033
批准年份：1989
负责人：刘叙华
学科分类：F0214
资助金额：3.50
项目类别：面上项目
3
电子光学正则像差理论与高阶球差定理
批准号：69771009
批准年份：1997
负责人：西门纪业
学科分类：F0122
资助金额：10.00
项目类别：面上项目
4
基于联想的机器发现集成系统
批准号：69275017
批准年份：1992
负责人：蔡庆生
学科分类：F0603
资助金额：5.00
项目类别：面上项目