共 22 条
[2]
BRATKO I, 1986, PROLOG PROGRAMMING A
[3]
CHARNIAK E, 1984, INTRO ARTIFICIAL INT
[4]
Clocksin W., 1987, PROGRAMMING PROLOG
[5]
CRAWFORD R, 1988, STATE SPACE SEP, P90
[6]
Dijkstra EW., 1959, NUMER MATH, V1, P269, DOI DOI 10.1007/BF01386390
[10]
Liu CL, 1985, ELEMENTS DISCRETE MA