THEOREM-PROVING ON COMPUTER

被引：34
作者：
ROBINSON, JA
机构：
来源：
JOURNAL OF THE ACM | 1963年 / 10卷 / 02期
关键词：
D O I：
10.1145/321160.321166
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：163 / &
相关论文
共 50 条
[31]   MECHANICAL THEOREM-PROVING BY MODEL ELIMINATION [J].
LOVELAND, DW .
JOURNAL OF THE ACM, 1968, 15 (02) :236-&
[32]   AUTOMATIC THEOREM-PROVING IN THE ISDV SYSTEM [J].
BEIERLE, C ;
OLTHOFF, W ;
VOSS, A .
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 :670-671
[33]   MECHANICAL THEOREM-PROVING IN PROJECTIVE GEOMETRY [J].
RICHTERGEBERT, J .
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 13 (1-2) :139-172
[34]   PARALLEL THEOREM-PROVING WITH CONNECTION GRAPHS [J].
LOGANANTHARAJ, R ;
MUELLER, RA .
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 :337-352
[35]   Optical vector logic theorem-proving [J].
Westphal, J ;
Caulfield, J ;
Hardy, J ;
Qian, L .
Proceedings of the 8th Joint Conference on Information Sciences, Vols 1-3, 2005, :1323-1326
[36]   LAMBEK THEOREM-PROVING AND FEATURE UNIFICATION [J].
VANDERLINDEN, EJ .
FOURTH CONFERENCE OF THE EUROPEAN CHAPTER OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, 1989, :190-196
[37]   THE KARLSRUHE INDUCTION THEOREM-PROVING SYSTEM [J].
BIUNDO, S ;
HUMMEL, B ;
HUTTER, D ;
WALTHER, C .
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 :672-674
[38]   THEOREM-PROVING VERIFICATION FOR ASYNCHRONOUS CIRCUITS [J].
Nishimura, Shunji ;
Amagasaki, Motoki ;
Kuga, Morihiro ;
Iida, Masahiro ;
Sueyoshi, Toshinori .
INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2016, 12 (03) :761-778
[39]   Catagenesis condition for approximate theorem-proving [J].
Du, X.N. ;
Li, L. .
Lanzhou Daxue Xuebao/Journal of Lanzhou University, 2001, 37 (03)
[40]   A NOTE ON INTERACTIVE THEOREM-PROVING WITH THEOREM CONTINUATION FUNCTIONS [J].
CHOU, CT .
IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1993, 20 :59-69
12345