mputing machinery and intelligence. Mind, 59, 1950. Tur77. Valentin F. Thrchin. The Phenomenon of Science. Columbia University Press, 1977. TV96. Thrchin and V. Supercompilation: Techniques and results. In Dines Bjorner, M. Broy, and Alek- sandr Vasilevich Zamulin, editors, Perspectives of System Infor