AN INVESTIGATION INTO THE GOALS OF RESEARCH IN AUTOMATIC THEOREM-PROVING AS RELATED TO MATHEMATICAL REASONING

被引：3

作者：

BROWN, FM

机构：

来源：

ARTIFICIAL INTELLIGENCE | 1980年 / 14卷 / 03期

关键词：

D O I：

10.1016/0004-3702(80)90049-1

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

收藏

页码：221 / 242

页数：22

相关论文

共 8 条

[1]

BROWN FM, 1979, ARTIF INTELL, V12, P207, DOI 10.1016/0004-3702(79)90007-9

[2]

BROWN FM, 1977, DAI34A RES REP

[3]

BROWN FM, 1977, DAI30 RES REP

[4]

BROWN FM, 1977, DAI35 RES REP

[5]

BROWN FM, 1977, 5TH P IJCAI

[6]

BROWN FM, 1979, ARTIFICIAL INTELLIGE, V10, P281

[7]

LANKFORD DS, ATP25 U TEX MATH DEP

[8]

QUINE W, 1969, SET THEORY ITS LOGIC