1. Berliner H. {1975}. Chess as problem solving: the development of a tactics analyzer. Ph.D. Th. Computer Sci. Dep. Carnegie- Mellon U. (unpublished). Berliner H. {1975}. Chess as problem solving: the development of a tactics analyzer. Ph.D. Th. Computer Sci. Dep. Carnegie- Mellon U. (unpublished).
2. Recursive functions of symbolic expressions and their computation by machine, Part I
3. McCulloch W.S. {1961}. What is a number that a man may know it and a man that he may know a number. General Semantics Bulletin Nos. 26 and 27 (1961) 7-18. McCulloch W.S. {1961}. What is a number that a man may know it and a man that he may know a number. General Semantics Bulletin Nos. 26 and 27 (1961) 7-18.
4. Nilsson N.J. {1971}. Problem Solving Methods in Artificial Intelligence. McGraw-Hill New York. Nilsson N.J. {1971}. Problem Solving Methods in Artificial Intelligence. McGraw-Hill New York.
5. Turing A.M. {1950}. Computing machinery and intelligence. Mind 59 (Oct. 1950) 433-460. Turing A.M. {1950}. Computing machinery and intelligence. Mind 59 (Oct. 1950) 433-460.