期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
自动定理证明:十年回顾
被引量：
1
下载PDF
职称材料
导出
摘要
本文主要介绍近十年来定理证明器的发展情况,同时讨论了与自动定理证明相关的一些问题。
作者
贲可荣
陈火旺
机构地区
国防科技大学计算机系
出处
《计算机科学》
CSCD
北大核心
1993年第4期19-23,共5页
Computer Science
基金
863计划软件生产自动化课题的部分资助项目
关键词
定理证明器
自动定理证明
分类号
TP301.1 [自动化与计算机技术—计算机系统结构]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
13
引证文献
1
二级引证文献
2
同被引文献
13
1
赵沁平,李波,罗玉龙.
关于类比推理若干基本问题的研究[J]
.计算机科学,1993,20(2):39-45.
被引量：5
2
白硕.
认知硬度与默认分层理论[J]
.计算机科学,1993,20(2):22-26.
被引量：1
3
林作铨.
容错推理[J]
.计算机科学,1993,20(2):18-22.
被引量：4
4
王献昌.
知识与常识的表示和推理[J]
.计算机科学,1993,20(2):10-17.
被引量：1
5
李未.
缺省推理与认识进程[J]
.计算机科学,1993,20(2):1-9.
被引量：2
6
孙吉贵,刘叙华.
相关逻辑及其推理[J]
.计算机科学,1993,20(4):13-18.
被引量：1
7
徐明,胡守仁.
基于事例推理的检索模型研究[J]
.计算机科学,1993,20(4):32-35.
被引量：32
8
吴建林,李怀祖.
柔性推理研究[J]
.计算机科学,1996,23(1):69-73.
被引量：1
9
李卫华,张黔,刘娟,石自力.
归纳法推理系统[J]
.计算机学报,1996,19(3):230-236.
被引量：3
10
刘叙华 刘瑞胜.第三届中国人工智能联合学术会议论文集[C].北京:清华大学出版社,1994..
引证文献
1
1
黄改娟.
自动推理技术发展的回顾与展望[J]
.微机发展,2003,13(a02):36-38.
被引量：2
二级引证文献
2
1
李颖,田永昌.
基于HNC的命题逻辑推理方法[J]
.装甲兵工程学院学报,2013,27(2):70-74.
2
童海峰,张成年.
基于DFL的多Agent系统的自动推理模型[J]
.大众科技,2006,8(5):75-76.
被引量：1
1
缪淮扣,吴茂康.
自动定理证明中带有等词的连接法[J]
.应用科学学报,1994,12(3):246-252.
2
叶欢时间[J]
.微型计算机,2007(09S):26-27.
3
缪淮扣,李迎豪,吴茂康.
COMPS连接法定理证明系统[J]
.计算机工程,1993,19(3):38-43.
4
陈勇浩.
一个用于一阶逻辑自动定理证明的新算法[J]
.计算机工程与科学,1993,15(3):1-9.
5
张健.
基于重写技术的自动定理证明[J]
.计算机科学,1992,19(2):79-80.
6
刘梅.
服务,是行动不是口号——爱普生服务十年回顾[J]
.中国计算机用户,2004(49):59-59.
7
缪淮扣.
任意矩阵的连接法及其简化规则和算法[J]
.计算机应用与软件,1992,9(5):29-34.
8
鲍赛克.
人工智能在人类智能领域的应用[J]
.经济技术协作信息,2007(13):78-78.
9
刘叙华,欧阳继红.
自动定理证明中RUE-NRF单元输入和锁的演绎[J]
.吉林大学自然科学学报,1989(2):60-66.
10
吴安迪.
有关“理解和分词孰先孰后”的反思[J]
.中文信息学报,2007,21(3):20-20.
计算机科学
1993年 第4期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部
