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] A REFUTATIONAL APPROACH TO GEOMETRY THEOREM-PROVING
KAPUR, D
ARTIFICIAL INTELLIGENCE, 1988, 37 (1-3) : 61 - 93
[22] AUTOMATIC THEOREM-PROVING .2.
VORONKOV, AA
DEGTYAREV, AI
CYBERNETICS, 1987, 23 (04): : 547 - 556
[23] THEOREM-PROVING USING SEMANTIC RESOLUTION
DOSREIS, AJ
DR DOBBS JOURNAL, 1988, 13 (04): : 50 - &
[24] THE KRIPKE AUTOMATED THEOREM-PROVING SYSTEM
THISTLEWAITE, PB
MCROBBIE, MA
MEYER, RK
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 705 - 706
[25] AUTOMATIC THEOREM-PROVING IN COMBINATORICS ON WORDS
Goc, Daniel
Henshall, Dane
Shallit, Jeffrey
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2013, 24 (06) : 781 - 798
[26] THEOREM-PROVING VIA GENERAL MATINGS
ANDREWS, PB
JOURNAL OF THE ACM, 1981, 28 (02) : 193 - 214
[27] THEOREM-PROVING WITH ORDERING CONSTRAINED CLAUSES
NIEUWENHUIS, R
RUBIO, A
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 477 - 491
[28] AUTOMATIC THEOREM-PROVING .1.
VORONKOV, AA
DEGTYAREV, AI
CYBERNETICS, 1986, 22 (03): : 290 - 297
[29] Another look at automated theorem-proving
Koblitz, Neal
JOURNAL OF MATHEMATICAL CRYPTOLOGY, 2007, 1 (04) : 385 - 403
[30] PARALLEL THEOREM-PROVING WITH CONNECTION GRAPHS
LOGANANTHARAJ, R
MUELLER, RA
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 337 - 352

← 1 2 3 4 5 →