THEOREM-PROVING ON COMPUTER

被引:34
作者
ROBINSON, JA
机构
关键词
D O I
10.1145/321160.321166
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:163 / &
相关论文
共 50 条
[41]   THEOREM-PROVING IN INTERMEDIATE AND MODAL-LOGICS [J].
ZAKHARYASHCHEV, MV .
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 278 :492-496
[42]   OR-PARALLEL THEOREM-PROVING WITH RANDOM COMPETITION [J].
ERTEL, W .
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 :226-237
[43]   RECONSTRUCTION OF POLYHEDRA BY A MECHANICAL THEOREM-PROVING METHOD [J].
KOH, K ;
DEGUCHI, K ;
MORISHITA, I .
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1993, E76D (04) :437-445
[44]   COMPLETELY NON-CLAUSAL THEOREM-PROVING [J].
MURRAY, NV .
ARTIFICIAL INTELLIGENCE, 1982, 18 (01) :67-85
[45]   HUMAN ORIENTED LOGIC FOR AUTOMATIC THEOREM-PROVING [J].
NEVINS, AJ .
JOURNAL OF THE ACM, 1974, 21 (04) :606-621
[46]   A PARALLEL APPROACH FOR THEOREM-PROVING IN PROPOSITIONAL LOGIC [J].
CHEN, WT ;
LIU, LL .
INFORMATION SCIENCES, 1987, 41 (01) :61-76
[47]   Another look at automated theorem-proving II [J].
Koblitz, Neal .
JOURNAL OF MATHEMATICAL CRYPTOLOGY, 2011, 5 (3-4) :205-224
[48]   THE TERM REWRITING APPROACH TO AUTOMATED THEOREM-PROVING [J].
HSIANG, J ;
KIRCHNER, H ;
LESCANNE, P ;
RUSINOWITCH, M .
JOURNAL OF LOGIC PROGRAMMING, 1992, 14 (1-2) :71-99
[49]   THEOREM-PROVING WITH ORDERING AND EQUALITY CONSTRAINED CLAUSES [J].
NIEUWENHUIS, R ;
RUBIO, A .
JOURNAL OF SYMBOLIC COMPUTATION, 1995, 19 (04) :321-351
[50]   MAN-MACHINE THEOREM-PROVING SYSTEM [J].
BLEDSOE, WW ;
BRUELL, P .
ARTIFICIAL INTELLIGENCE, 1974, 5 (01) :51-72