共 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