THEOREM-PROVING VIA GENERAL MATINGS

被引：118

作者：

ANDREWS, PB

机构：

来源：

关键词：

D O I：

10.1145/322248.322249

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：193 / 214

页数：22

共 31 条

[11]

COX PT, 1978, 2ND P NAT C CAN SOC, P20

[12] A COMPUTING PROCEDURE FOR QUANTIFICATION THEORY [J].

DAVIS, M ;

PUTNAM, H .

[13]

DAVIS M, 1963, EXPT ARITHMETIC HIGH, P15

[14]

DECHAMPEAUX D, 1979, 4TH P WORKSH AUT DED, P110

[15] FALSE LEMMAS IN HERBRAND [J].

DREBEN, B ;

AANDERAA, S ;

ANDREWS, P .

[16]

Enderton H. B., 2001, MATH INTRO LOGIC, V2nd ed

GILMORE, PC .

[18] A FORM OF HERBRANDS THEOREM [J].

HAILPERIN, T .

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1969, 15 (02) :107-+

[19] THEOREM PROVING BY COVERING EXPRESSIONS [J].

HENSCHEN, LJ .

[20]

HERBRAND J, 1972, LOGICAL WRITINGS