THEOREM-PROVING VIA GENERAL MATINGS

被引：118

|

作者：

ANDREWS, PB

机构：

来源：

JOURNAL OF THE ACM | 1981年 / 28卷 / 02期

关键词：

D O I：

10.1145/322248.322249

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：193 / 214

页数：22

相关论文

共 50 条

[1] THEOREM-PROVING USING EQUATIONAL MATINGS AND RIGID E-UNIFICATION
GALLIER, J
NARENDRAN, P
RAATZ, S
SNYDER, W
[J]. JOURNAL OF THE ACM, 1992, 39 (02) : 377 - 429
[2] THEOREM-PROVING WITH ABSTRACTION
PLAISTED, DA
[J]. ARTIFICIAL INTELLIGENCE, 1981, 16 (01) : 47 - 108
[3] ON AUTOMATED THEOREM-PROVING
RUSSELL, S
WHEELER, T
[J]. ANNALS OF THE NEW YORK ACADEMY OF SCIENCES, 1992, 661 : 160 - 173
[4] MODAL THEOREM-PROVING
ABADI, M
MANNA, Z
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 172 - 189
[5] COMPLEXITY OF THEOREM-PROVING PROCEDURES - SOME GENERAL PROPERTIES
LONGO, G
[J]. REVUE FRANCAISE D AUTOMATIQUE INFORMATIQUE RECHERCHE OPERATIONNELLE, 1974, 8 (NR3): : 5 - 18
[6] RESOLUTION THEOREM-PROVING
STICKEL, ME
[J]. ANNUAL REVIEW OF COMPUTER SCIENCE, 1988, 3 : 285 - 316
[7] THEOREM-PROVING BY COMPUTER
VEENKER, G
[J]. ANGEWANDTE INFORMATIK, 1971, 13 (06): : 276 - &
[8] THEOREM-PROVING ON COMPUTER
ROBINSON, JA
[J]. JOURNAL OF THE ACM, 1963, 10 (02) : 163 - &
[9] THEOREM-PROVING ON COMPUTER
LUCKHAM, D
[J]. JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (03) : 514 - &
[10] THE TPS THEOREM-PROVING SYSTEM
ANDREWS, PB
ISSAR, S
NESMITH, D
PFENNING, F
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 760 - 761

← 1 2 3 4 5 →