The texts of talks delivered by A.P. Ershov

Archive International Conferences, Seminars, Symposiums, Congresses, Schools, and Colloquiums International symposium "Mechanization of Thought Processes"

The texts of talks delivered by A.P. Ershov