KNOWLEDGE AND REASONING IN PROGRAM SYNTHESIS

被引：34

作者：

MANNA, Z

WALDINGER, R

机构：

[1] WEIZMANN INST SCI,APPL MATH DEPT,REHOVOT,ISRAEL

[2] STANFORD RES INST,ARTIFICIAL INTELLIG CTR,MENLO PK,CA

来源：

关键词：

D O I：

10.1016/0004-3702(75)90008-9

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：175 / 208

页数：34

共 27 条

[1]

BALZER R, 1972, AUTOMATIC PROGRAMMIN

[2]

BIERMANN AW, 1973, TR736 OH STAT U COMP

[3]

BOBROW DG, 1973, 3RD INT C ART INT ST, P246

[4]

BOYER RS, 1973, 3 INT JOINT C ART IN, P486

[5]

BUCHANAN JR, 1974, AUTOMATING CONSTRUCT

[6]

BUNDY A, 1973, 3RD P IJCAI, P130

[7]

DARLINGTON J, 1973, 3RD P INT JOINT C AR, P479

[8]

Floyd Robert W., 1967, P S APPL MATH, V19, P19, DOI DOI 10.1090/PSAPM/019/0235771

[9]

Gelerntner Herbert, 1963, COMPUT THOUGHT, P134

[10]

GREEN C, 1969, MAY P INT JOINT C AR, P219