共 11 条
[1]
AHO AV, 1974, DESIGN ANALYSIS COMP, P173
[2]
Dijkstra E., 1959, NUMER MATH, V1, P269
[3]
DORAN J, 1967, MACH INTELL, V1, P105
[4]
DORAN J, NEW DEVELOPMENTS GRA, V2, P119
[5]
Hopcroft J.E., 1969, FORMAL LANGUAGES THE
[6]
MICHIE D, 1967, MACH INTELL, V1, P135
[7]
Nilsson N. J., 1971, PROBLEM SOLVING METH, P43
[8]
POHL I, 1971, MACHINE INTELLIGENCE, V4, P127
[9]
ROSEN S, 1967, PROGRAMMING SYSTEMS, P253
[10]
SLAGLE JR, 1971, ARTIFICAL INTELLIGEN