documents   about archive   about project   Andrei Ershov   in Russian

Archive All-Union Conferences, Seminars, Symposiums, Schools All-Union School on Mixed Computation Papers Paper

	Paper "Proof transformations as program transformations" (the 2nd variant) Original document language: russian Authors: Nikolai N. Nepeivoda Images of pages: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 Back Next document (Paper) Previous document (Paper)
	Switch to Russian | Search | Advanced search | Folders | Themes

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