DOING ARITHMETIC WITHOUT DIAGRAMS

被引：4

作者：

BROWN, FM ^{[1
]}

机构：

[1] UNIV EDINBURGH,DEPT ARTIFICIAL INTELLIGENCE,EDINBURGH EH8 9NW,SCOTLAND

来源：

关键词：

D O I：

10.1016/0004-3702(77)90019-4

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：175 / 200

页数：26

相关论文

共 8 条

[1]

BALLANTYNE M, 1973, ATP7 U TEX MATH DEP

[2]

BUNDY A, 1973, DCL61 REP

[3]

BUNDY A, 1973, 3RD P IJCAI, P130

[4]

BUNDY A, 1974, AISB EUROPEAN NE NOV

[5]

Levin Michael I., 1965, LISP 15 PROGRAMMERS

[6]

MALLOYBROWN F, 1976, JUL P AISB C ART INT

[7]

Prawitz D., 1960, THEORIA-SPAIN, V26, P102, DOI DOI 10.1111/J.1755-2567.1960.TB00558.X/FULL

[8] TOWARD MECHANICAL MATHEMATICS [J].

WANG, H .