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 Paper

	Paper "On finding invariant relations of programs" Date: 04.06.1980 Original document language: russian Authors: Alexander A. Letichevsky Images of pages: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 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