共 5 条
[1]
de Champeaux D., 1977, Computer Journal, V20, P148, DOI 10.1093/comjnl/20.2.148
[2]
DECHAMPEAUX D, 1977, J ACM, V24, P177
[3]
DORAN J, 1966, EPUR22 ED U DEP MACH
[4]
Nilsson N.J., 1971, PROBLEM SOLVING METH
[5]
Pohl I., 1969, BIDIRECTIONAL HEURIS