12

См.: А. Ньюэлл, Г. Саймон, Моделирование человеческого мышления на вычислительной машине. — Сб. «Кибернетика и живой организм».

См.: Н. Gelernteг. J. Hansen, D. Loveland, Empirical explorations of the geometry theorem proving machine. «Computers and Thought», 1963, pp. 153–163.

См.: В. Н. Пушкин, Эвристика и кибернетика, М., «Знание», 1966.