高阶演绎系统与机器定理发现
基本信息
批准号：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
F_q上一类周期为2p~2的四元广义分圆序列的线性复杂度
F_q上一类周期为2p~2的四元广义分圆序列的线性复杂度
DOI：10.11999/JEIT210095
发表时间：2021
2
白郡符从脾胃论治外科疾病经验探析
白郡符从脾胃论治外科疾病经验探析
DOI：10.3969/j.issn.1005-5304.2019.08.023
发表时间：2019
3
Gamma-Gamma湍流信道下广义空时脉冲位置调制
Gamma-Gamma湍流信道下广义空时脉冲位置调制
DOI：10.37188/ope.20202811.2437
发表时间：2020
4
云南巍山地区广义虫草的物种多样性研究
云南巍山地区广义虫草的物种多样性研究
DOI：10.11926/jtsb.4194
发表时间：2020
5
基于经筋与肌筋膜理论探讨膝骨关节炎的辨治策略
基于经筋与肌筋膜理论探讨膝骨关节炎的辨治策略
DOI：
发表时间：2020
孙怀民的其他基金
批准号：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
项目类别：面上项目