THEOREM-PROVING ON COMPUTER

被引：34

|

作者：

ROBINSON, JA

机构：

来源：

JOURNAL OF THE ACM | 1963年 / 10卷 / 02期

关键词：

D O I：

10.1145/321160.321166

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

收藏

页码：163 / &

相关论文

共 50 条

[1] THEOREM-PROVING BY COMPUTER
VEENKER, G
ANGEWANDTE INFORMATIK, 1971, 13 (06): : 276 - &
[2] THEOREM-PROVING ON COMPUTER
LUCKHAM, D
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (03) : 514 - &
[3] THEOREM-PROVING WITH ABSTRACTION
PLAISTED, DA
ARTIFICIAL INTELLIGENCE, 1981, 16 (01) : 47 - 108
[4] ON AUTOMATED THEOREM-PROVING
RUSSELL, S
WHEELER, T
ANNALS OF THE NEW YORK ACADEMY OF SCIENCES, 1992, 661 : 160 - 173
[5] MODAL THEOREM-PROVING
ABADI, M
MANNA, Z
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 172 - 189
[6] RESOLUTION THEOREM-PROVING
STICKEL, ME
ANNUAL REVIEW OF COMPUTER SCIENCE, 1988, 3 : 285 - 316
[7] THE TPS THEOREM-PROVING SYSTEM
ANDREWS, PB
ISSAR, S
NESMITH, D
PFENNING, F
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 760 - 761
[8] SOME RECENT DEVELOPMENTS IN COMPLETE STRATEGIES FOR THEOREM-PROVING BY COMPUTER
MELTZER, B
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1968, 14 (05): : 377 - &
[9] THEOREM-PROVING BY FINITE AUTOMATA
MULLIN, AA
JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (03) : 444 - &
[10] AUTOMATED THEOREM-PROVING METHODS
NOSSUM, R
BIT, 1985, 25 (01): : 51 - 64

← 1 2 3 4 5 →