THEOREM-PROVING FOR A HIGHER-ORDER FUNCTIONAL LANGUAGE

被引：0

|

作者：

KAUFMANN, M

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1986年 / 51卷 / 03期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：847 / 847

页数：1

相关论文

共 50 条

[21] Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems
Brown, Chad E.
JOURNAL OF AUTOMATED REASONING, 2013, 51 (01) : 57 - 77
[22] THEOREM-PROVING BY COMPUTER
VEENKER, G
ANGEWANDTE INFORMATIK, 1971, 13 (06): : 276 - &
[23] THEOREM-PROVING ON COMPUTER
ROBINSON, JA
JOURNAL OF THE ACM, 1963, 10 (02) : 163 - &
[24] THEOREM-PROVING ON COMPUTER
LUCKHAM, D
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (03) : 514 - &
[25] ELIOS-OBJ - THEOREM-PROVING IN A SPECIFICATION LANGUAGE
GNAEDIG, I
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 582 : 182 - 199
[26] THE TPS THEOREM-PROVING SYSTEM
ANDREWS, PB
ISSAR, S
NESMITH, D
PFENNING, F
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 760 - 761
[27] THEOREM-PROVING BY FINITE AUTOMATA
MULLIN, AA
JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (03) : 444 - &
[28] THE TPS THEOREM-PROVING SYSTEM
ANDREWS, PB
PFENNING, F
ISSAR, S
KLAPPER, CP
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 663 - 664
[29] AN APPROACH TO ANALOGICAL THEOREM-PROVING
LU, J
BO, Y
IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 19 : 285 - 294
[30] AUTOMATED THEOREM-PROVING METHODS
NOSSUM, R
BIT, 1985, 25 (01): : 51 - 64

← 1 2 3 4 5 →