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 条
[21]   CONCEPT OF WEAK SUBSTITUTION IN THEOREM-PROVING [J].
STILLMAN, RB .
JOURNAL OF THE ACM, 1973, 20 (04) :648-667
[22]   HEURISTIC CRITERIA IN REFUTATIONAL THEOREM-PROVING [J].
ANANTHARAMAN, S ;
ANDRIANARIVELO, N .
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 429 :184-193
[23]   AUTOMATIC THEOREM-PROVING .1. [J].
VORONKOV, AA ;
DEGTYAREV, AI .
CYBERNETICS, 1986, 22 (03) :290-297
[24]   Another look at automated theorem-proving [J].
Koblitz, Neal .
JOURNAL OF MATHEMATICAL CRYPTOLOGY, 2007, 1 (04) :385-403
[25]   THEOREM-PROVING USING SEMANTIC RESOLUTION [J].
DOSREIS, AJ .
DR DOBBS JOURNAL, 1988, 13 (04) :50-&
[26]   AUTOMATIC THEOREM-PROVING .2. [J].
VORONKOV, AA ;
DEGTYAREV, AI .
CYBERNETICS, 1987, 23 (04) :547-556
[27]   A REFUTATIONAL APPROACH TO GEOMETRY THEOREM-PROVING [J].
KAPUR, D .
ARTIFICIAL INTELLIGENCE, 1988, 37 (1-3) :61-93
[28]   THEOREM-PROVING WITH ORDERING CONSTRAINED CLAUSES [J].
NIEUWENHUIS, R ;
RUBIO, A .
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 :477-491
[29]   THEOREM-PROVING VIA GENERAL MATINGS [J].
ANDREWS, PB .
JOURNAL OF THE ACM, 1981, 28 (02) :193-214
[30]   THEOREM-PROVING SYSTEMS OF THE FORMEL PROJECT [J].
HUET, G .
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 :687-688
12345