Correction to "A Formal Basis for the Heuristic Determination of Minimum Cost Paths"
暂无分享,去创建一个
[1] H. Gelernter,et al. Realization of a geometry theorem proving machine , 1995, IFIP Congress.
[2] Arthur L. Samuel,et al. Some studies in machine learning using the game of checkers" in computers and thought eds , 1995 .
[3] E. Feigenbaum,et al. Computers and Thought , 1963 .
[4] P. B. Coaker,et al. Applied Dynamic Programming , 1964 .
[5] T. L. Saaty,et al. Finite graphs and networks : an introduction with applications , 1967 .
[6] W. W. Bledsoe,et al. Review of "Problem-Solving Methods in Artificial Intelligence by Nils J. Nilsson", McGraw-Hill Pub. , 1971, SGAR.