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 条

[1] THEOREM-PROVING IN INTERMEDIATE AND MODAL-LOGICS
ZAKHARYASHCHEV, MV
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 278 : 492 - 496
[2] RESOLUTION THEOREM-PROVING IN REIFIED MODAL-LOGICS
AITKEN, JS
REICHGELT, H
SHADBOLT, N
JOURNAL OF AUTOMATED REASONING, 1994, 12 (01) : 103 - 129
[3] ON AUTOMATED THEOREM-PROVING
RUSSELL, S
WHEELER, T
ANNALS OF THE NEW YORK ACADEMY OF SCIENCES, 1992, 661 : 160 - 173
[4] THEOREM-PROVING WITH ABSTRACTION
PLAISTED, DA
ARTIFICIAL INTELLIGENCE, 1981, 16 (01) : 47 - 108
[5] RESOLUTION THEOREM-PROVING
STICKEL, ME
ANNUAL REVIEW OF COMPUTER SCIENCE, 1988, 3 : 285 - 316
[6] THEOREM-PROVING BY COMPUTER
VEENKER, G
ANGEWANDTE INFORMATIK, 1971, 13 (06): : 276 - &
[7] THEOREM-PROVING ON COMPUTER
ROBINSON, JA
JOURNAL OF THE ACM, 1963, 10 (02) : 163 - &
[8] THEOREM-PROVING ON COMPUTER
LUCKHAM, D
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (03) : 514 - &
[9] THE TPS THEOREM-PROVING SYSTEM
ANDREWS, PB
ISSAR, S
NESMITH, D
PFENNING, F
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 760 - 761
[10] THEOREM-PROVING BY FINITE AUTOMATA
MULLIN, AA
JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (03) : 444 - &

← 1 2 3 4 5 →