2 RESULTS IN TERM REWRITING THEOREM-PROVING

被引：0

|

作者：

HSIANG, J

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1985年 / 202卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：301 / 324

页数：24

相关论文

共 50 条

[1] THE TERM REWRITING APPROACH TO AUTOMATED THEOREM-PROVING
HSIANG, J
KIRCHNER, H
LESCANNE, P
RUSINOWITCH, M
JOURNAL OF LOGIC PROGRAMMING, 1992, 14 (1-2): : 71 - 99
[2] REFUTATIONAL THEOREM-PROVING USING TERM-REWRITING SYSTEMS
HSIANG, J
ARTIFICIAL INTELLIGENCE, 1985, 25 (03) : 255 - 300
[3] USE OF CONDITIONAL TERM REWRITING-SYSTEMS IN AUTOMATIC THEOREM-PROVING .1.
VOROBYEV, SG
SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1989, 27 (01): : 49 - 59
[4] AUTOMATIC THEOREM-PROVING .2.
VORONKOV, AA
DEGTYAREV, AI
CYBERNETICS, 1987, 23 (04): : 547 - 556
[5] ON AUTOMATED THEOREM-PROVING
RUSSELL, S
WHEELER, T
ANNALS OF THE NEW YORK ACADEMY OF SCIENCES, 1992, 661 : 160 - 173
[6] THEOREM-PROVING WITH ABSTRACTION
PLAISTED, DA
ARTIFICIAL INTELLIGENCE, 1981, 16 (01) : 47 - 108
[7] RESOLUTION THEOREM-PROVING
STICKEL, ME
ANNUAL REVIEW OF COMPUTER SCIENCE, 1988, 3 : 285 - 316
[8] MODAL THEOREM-PROVING
ABADI, M
MANNA, Z
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 172 - 189
[9] THEOREM-PROVING BY COMPUTER
VEENKER, G
ANGEWANDTE INFORMATIK, 1971, 13 (06): : 276 - &
[10] THEOREM-PROVING ON COMPUTER
ROBINSON, JA
JOURNAL OF THE ACM, 1963, 10 (02) : 163 - &

← 1 2 3 4 5 →