documents   about archive   about project   Andrei Ershov   in Russian

Archive All-Union Conferences, Seminars, Symposiums, Schools All-Union Conference Abstracts Abstract

	Abstract V.B. Novoseltsev, A.L. Shamis (Tomsk) "Logical means of nondeterministic algorithms synthesis" Original document language: Russian Images of pages: 1 Back Next document  Previous document (Abstract)
	Switch to Russian | Search | Advanced search | Folders | Themes

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