documents   about archive   about project   Andrei Ershov   in Russian

Archive International Conferences, Seminars, Symposiums, Congresses, Schools, and Colloquiums International Symposium "Algorithms in Modern Mathematics and Computer Science" Preliminary proceedings What should we do having proved a decision problem to be unsolvable?

	What should we do having proved a decision problem to be unsolvable? typed copy of the paper Date: 09.01.1980 Original document language: russian Authors: Yuri V. Matijasevich Images of pages: 1 2 3 4 Back Next document (Hand-written notes) Previous document (Hand-written notes)
	Switch to Russian | Search | Advanced search | Folders | Themes

Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016