MAN-MACHINE THEOREM-PROVING SYSTEM

被引：30

作者：

BLEDSOE, WW ^{[1
]}

BRUELL, P ^{[1
]}

机构：

[1] UNIV TEXAS,AUSTIN,TX 78712

来源：

ARTIFICIAL INTELLIGENCE | 1974年 / 5卷 / 01期

关键词：

D O I：

10.1016/0004-3702(74)90009-5

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：51 / 72

页数：22

共 17 条

[1]

ABRAHAMS PW, 1963, THESIS MASSACHUSETTS

[2]

ALLEN JR, 1970, MACH INTELL, V5, P321

[3]

[Anonymous], 2014, USERS MANUAL, V2

[4] SPLITTING AND REDUCTION HEURISTICS IN AUTOMATIC THEOREM PROVING [J].

BLEDSOE, WW .

ARTIFICIAL INTELLIGENCE, 1971, 2 (01) :55-77

[5] COMPUTER PROOFS OF LIMIT THEOREMS [J].

BLEDSOE, WW ;

BOYER, RS ;

HENNEMAN, WH ;

BOYER, RS ;

HENNEMAN, WH .

ARTIFICIAL INTELLIGENCE, 1972, 3 (02) :27-60

[6]

BLEDSOE WW, 1967, SCRR67525 SAND CORP

[7]

BOYER RS, 1971, THESIS U TEXAS

[8]

BRUELL PA, 1973, DESCRIPTION FUNCTION

[9]

ERNST G, 1971, INFORM CONTROL, V18

[10] SEMI-AUTOMATED MATHEMATICS [J].

GUARD, JR ;

OGLESBY, FC ;

BENNETT, JH ;

SETTLE, LG .

JOURNAL OF THE ACM, 1969, 16 (01) :49-&

← 1 2 →