PARTIAL EVALUATOR, AND ITS USE AS A PROGRAMMING TOOL

被引:38
作者
BECKMAN, L [1 ]
HARALDSON, A [1 ]
OSKARSSON, O [1 ]
SANDEWALL, E [1 ]
机构
[1] LINKOPING UNIV,DEPT HYG & MED MIKROBIOL,LINKOPING,SWEDEN
关键词
D O I
10.1016/0004-3702(76)90011-4
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
引用
收藏
页码:319 / 357
页数:39
相关论文
共 15 条
[1]  
[Anonymous], SYMBOLIC LOGIC MECHA
[2]  
BOYER R, 1974, 3RD INT JOINT C ART
[3]  
DARLINGTON J, 1975, 3RD P INT JOINT C AR
[4]  
DEUTCH P, 1973, THESIS
[5]  
DIXON J, UNPUBLISHED REPORT
[6]  
FUTAMURA Y, 1971, J I ELECTRONICS COMM
[7]  
HARALDSON A, 1974, INFORMATION PROCESSI, P575
[8]  
HARDY S, 1973, AUTOMATIC INDUCTION
[9]  
LOMBARDI L. A., 1964, PROGRAMMING LANGUAGE
[10]  
SANDEWALL EA, 1971, ACM SIGSAM B, V17