A NEW METHOD FOR ESTABLISHING REFUTATIONAL COMPLETENESS IN THEOREM-PROVING

被引：0

|

作者：

HSIANG, J ^{[1
]}

RUSINOWITCH, M ^{[1
]}

机构：

[1] CRIN,F-54506 VANDOEUVRE NANCY,FRANCE

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 230卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：141 / 152

页数：12

相关论文

共 50 条

[1] PROVING REFUTATIONAL COMPLETENESS OF THEOREM-PROVING STRATEGIES - THE TRANSFINITE SEMANTIC TREE METHOD
HSIANG, J
RUSINOWITCH, M
[J]. JOURNAL OF THE ACM, 1991, 38 (03) : 559 - 587
[2] HEURISTIC CRITERIA IN REFUTATIONAL THEOREM-PROVING
ANANTHARAMAN, S
ANDRIANARIVELO, N
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 429 : 184 - 193
[3] A REFUTATIONAL APPROACH TO GEOMETRY THEOREM-PROVING
KAPUR, D
[J]. ARTIFICIAL INTELLIGENCE, 1988, 37 (1-3) : 61 - 93
[4] A TECHNIQUE FOR ESTABLISHING COMPLETENESS RESULTS IN THEOREM-PROVING WITH EQUALITY
PETERSON, GE
[J]. SIAM JOURNAL ON COMPUTING, 1983, 12 (01) : 82 - 100
[5] REFUTATIONAL THEOREM-PROVING USING TERM-REWRITING SYSTEMS
HSIANG, J
[J]. ARTIFICIAL INTELLIGENCE, 1985, 25 (03) : 255 - 300
[6] REFUTATIONAL THEOREM-PROVING FOR HIERARCHICAL 1ST-ORDER THEORIES
BACHMAIR, L
GANZINGER, H
WALDMANN, U
[J]. APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 1994, 5 (3-4) : 193 - 212
[7] A NEW METHOD FOR THE BOOLEAN RING BASED THEOREM-PROVING
ZHANG, HT
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1994, 17 (02) : 189 - 211
[8] RECONSTRUCTION OF POLYHEDRA BY A MECHANICAL THEOREM-PROVING METHOD
KOH, K
DEGUCHI, K
MORISHITA, I
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1993, E76D (04) : 437 - 445
[9] THEOREM-PROVING WITH ABSTRACTION
PLAISTED, DA
[J]. ARTIFICIAL INTELLIGENCE, 1981, 16 (01) : 47 - 108
[10] ON AUTOMATED THEOREM-PROVING
RUSSELL, S
WHEELER, T
[J]. ANNALS OF THE NEW YORK ACADEMY OF SCIENCES, 1992, 661 : 160 - 173

← 1 2 3 4 5 →