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 条

[21] THE KRIPKE AUTOMATED THEOREM-PROVING SYSTEM
THISTLEWAITE, PB
MCROBBIE, MA
MEYER, RK
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 705 - 706
[22] HEURISTIC CRITERIA IN REFUTATIONAL THEOREM-PROVING
ANANTHARAMAN, S
ANDRIANARIVELO, N
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 429 : 184 - 193
[23] CONCEPT OF WEAK SUBSTITUTION IN THEOREM-PROVING
STILLMAN, RB
JOURNAL OF THE ACM, 1973, 20 (04) : 648 - 667
[24] Another look at automated theorem-proving
Koblitz, Neal
JOURNAL OF MATHEMATICAL CRYPTOLOGY, 2007, 1 (04) : 385 - 403
[25] AUTOMATIC THEOREM-PROVING .1.
VORONKOV, AA
DEGTYAREV, AI
CYBERNETICS, 1986, 22 (03): : 290 - 297
[26] AUTOMATIC THEOREM-PROVING .2.
VORONKOV, AA
DEGTYAREV, AI
CYBERNETICS, 1987, 23 (04): : 547 - 556
[27] THEOREM-PROVING USING SEMANTIC RESOLUTION
DOSREIS, AJ
DR DOBBS JOURNAL, 1988, 13 (04): : 50 - &
[28] A REFUTATIONAL APPROACH TO GEOMETRY THEOREM-PROVING
KAPUR, D
ARTIFICIAL INTELLIGENCE, 1988, 37 (1-3) : 61 - 93
[29] THEOREM-PROVING WITH ORDERING CONSTRAINED CLAUSES
NIEUWENHUIS, R
RUBIO, A
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 477 - 491
[30] THEOREM-PROVING VIA GENERAL MATINGS
ANDREWS, PB
JOURNAL OF THE ACM, 1981, 28 (02) : 193 - 214

← 1 2 3 4 5 →