共 5 条
[1]
Horowitz E., 1978, FUNDAMENTALS COMPUTE
[2]
MARTELLI A, 1978, COMM ACM, V12, P1025
[3]
MARTELLI A, 1973, 3RD P INT JOINT C AR, P1
[4]
Nilsson N.J., 1980, PRINCIPLES ARTIFICIA
[5]
Nilsson N.J., 1971, PROBLEM SOLVING METH