定理机器证明思想的产生与发展
被引量：3
Formation and Development of Ideas about Proving Theorems by Computers
出处
《科技导报》
CAS
CSCD
2001年第6期14-15,30,共3页
Science & Technology Review
同被引文献24
-
1张广泉,唐稚松.基于时序逻辑语言XYZ/E的软件体系结构描述方法[J].淮阴师范学院学报（自然科学版）,2002,1(1):26-31. 被引量：1
-
2刘全,孙吉贵.基于语义tableau的一阶逻辑自动定理证明[J].计算机工程与应用,2005,41(23):22-24. 被引量：3
-
3朱雪阳,唐稚松.UML活动图的时序逻辑语义[J].计算机研究与发展,2005,42(9):1478-1484. 被引量：13
-
4林作铨.一个模态非单调逻辑[J].中国科学（E辑）,1996,26(3):276-288. 被引量：1
-
5周祯祥.现代模态逻辑的多元视野[J].华南师范大学学报（社会科学版）,2006(5):7-11. 被引量：2
-
6韩俊刚,王岩冰,沈武威.用XYZ／E语言描述和验证硬件的行为[J].软件学报,1996,7(11):676-682. 被引量：7
-
7胡世华.信息时代的数学[J].数学进展,1988,(1).
-
8万永福,戴浩晖,潘建瑜.数学实验教程(matlab版)[M].北京:科技出版社,2006-11.129-137.
-
9Paulson L C. Introduction to Isabelle [ M ]. Cambridge : Univer- sity of Cambridge ,2004.
-
10Wu W T. On the decision problem and the mechanization of theorem-proving in elementary geometry [ J ]. Scientia Sinica, 1978 (21) : 159-172.
引证文献3
-
1章丰田,魏明山,陈培军,王希云.用计算机推理的方法求解数字填图问题[J].电脑学习,2010(4):85-87.
-
2于尚超,李阳,王鹏.基于拼凑替换的定理机器证明的研究与实现[J].计算机技术与发展,2012,22(6):135-138.
-
3陈志远,黄少滨,韩丽丽.现代模态逻辑在计算机科学中的应用研究[J].计算机科学,2013,40(06A):70-76. 被引量：5
二级引证文献5
-
1董毅.逻辑语言在计算机软件开发中的应用探讨[J].信息通信,2016,29(3):177-178. 被引量：3
-
2张小玲.逻辑语言在计算机创新开发中的应用探讨[J].赤峰学院学报（自然科学版）,2017,33(10):29-31.
-
3李思瑶,周海芳,方民权.基于GPU的图像监督分类算法的研究[J].计算机科学,2018,45(B06):143-145. 被引量：2
-
4邓少波,关素洁,王磊,黎敏.基于复合模态词模态逻辑的大数据知识表示方法及其在水文信息中应用[J].南昌工程学院学报,2019,38(3):77-84.
-
5刘钰治.逻辑学表达在人工智能中应用的研究[J].数码世界,2019(1):12-12.
-
1张忠辅.关于四色猜想的证明[J].许昌师专学报,1993,12(2):48-53.
-
2四色猜想[J].中学数学教学参考（初二初三学生版）,2003(12):1-1.
-
3首届吴文俊人工智能科学技术奖揭晓[J].高等数学研究,2012,15(5):47-47.
-
4潘建新.关于四个六阶拉丁方计数〈34的计算机证明[J].湖州师范学院学报,1988,0(6):42-46. 被引量：1
-
5刘清泉.借助合同变换证明几何题[J].中等数学,2015,0(2):2-6. 被引量：2
-
6张继海.把握平面向量考点 透析试题的交汇性[J].试题与研究,2016(20):5-9.
-
7李廉,李慧陵,刘义循.线性方程组对于量词的可满足性[J].中国科学（A辑）,1992,23(7):673-679.
-
8第三届“吴文俊人工智能科学技术奖”揭晓[J].机器人技术与应用,2013(6):21-22.
-
9赵丽丽,张庆祥,赵阳.伪凸函数的判断准则[J].江西科学,2012,30(3):280-282.
-
10黄民海.数学分析中的命题化归与构造性证明[J].高等数学研究,2014,17(4):71-74. 被引量：1
;
