MODAL THEOREM-PROVING

被引：0

|

作者：

ABADI, M

MANNA, Z

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 230卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：172 / 189

页数：18

相关论文

共 50 条

[41] A NOTE ON INTERACTIVE THEOREM-PROVING WITH THEOREM CONTINUATION FUNCTIONS
CHOU, CT
IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1993, 20 : 59 - 69
[42] OR-PARALLEL THEOREM-PROVING WITH RANDOM COMPETITION
ERTEL, W
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 226 - 237
[43] RECONSTRUCTION OF POLYHEDRA BY A MECHANICAL THEOREM-PROVING METHOD
KOH, K
DEGUCHI, K
MORISHITA, I
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1993, E76D (04) : 437 - 445
[44] HUMAN ORIENTED LOGIC FOR AUTOMATIC THEOREM-PROVING
NEVINS, AJ
JOURNAL OF THE ACM, 1974, 21 (04) : 606 - 621
[45] COMPLETELY NON-CLAUSAL THEOREM-PROVING
MURRAY, NV
ARTIFICIAL INTELLIGENCE, 1982, 18 (01) : 67 - 85
[46] A PARALLEL APPROACH FOR THEOREM-PROVING IN PROPOSITIONAL LOGIC
CHEN, WT
LIU, LL
INFORMATION SCIENCES, 1987, 41 (01) : 61 - 76
[47] Another look at automated theorem-proving II
Koblitz, Neal
JOURNAL OF MATHEMATICAL CRYPTOLOGY, 2011, 5 (3-4) : 205 - 224
[48] THEOREM-PROVING WITH ORDERING AND EQUALITY CONSTRAINED CLAUSES
NIEUWENHUIS, R
RUBIO, A
JOURNAL OF SYMBOLIC COMPUTATION, 1995, 19 (04) : 321 - 351
[49] 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
[50] MAN-MACHINE THEOREM-PROVING SYSTEM
BLEDSOE, WW
BRUELL, P
ARTIFICIAL INTELLIGENCE, 1974, 5 (01) : 51 - 72

← 1 2 3 4 5 →