共 10 条
- [1] BREKKE B, 1986, BENCHMARKING EXPERT
- [2] BROWNSTON L, 1985, PROGRAMMING EXPERT S
- [4] FORGY CL, 1981, CMUCS81135
- [5] FUTAMURA Y, 1983, LECTURE NOTES COMPUT, V147
- [6] KOWALSKI R, 1977, LOGIC PROBLEM SOLVIN, P49
- [7] LESSER VR, 1977, P IJCAI, V5, P790
- [8] MATSUMOTO Y, 1983, NEW GENERATION COMPU, V1
- [9] SHINTANI T, 1986, LECTURE NOTES COMPUT, V264, P22
- [10] TAKEUCHI A, 1985, INFORMATION PROCESSI, P415