共 23 条
[1]
BROWN JS, 1983, INTELLIGENT TUTORING, P227
[2]
Clocksin W. F., 1981, PROGRAMMING PROLOG
[3]
de Kleer J., 1976, AIM394 MIT ART INT L
[8]
DEKLEER J, 1979, TR529 MIT ART INT LA
[9]
DEKLEER J, 1980, CIRCUIT THEORY APPLI, V8
[10]
DEKLEER J, UNPUB ARTIFICIAL INT