Previous |  Up |  Next


[1] L. S. Coles: An experiment in Robot Tool Using. SRI Artificial Intelligence Group, Tech. Note 41, Oct. 1970.
[2] C. C. Green: Application of Theorem Proving to Problem Solving. Proc. 1st Int. Joint Conf. on Artificial Intelligence, May 1969.
[3] J. McCarthy P. Hayes: Some Philosophical Problems from the Standpoint of Artificial Intelligence. In: Machine Intelligence 4, 1969.
[4] N. J. Nilsson: Problem-Solving Methods in Artifical Intelligence. McGraw-Hill, 1971.
Partner of
EuDML logo