documents   about archive   about project   Andrei Ershov   in Russian

Archive All-Union Conferences, Seminars, Symposiums, Schools All-Union School on Mixed Computation Experts' decisions Experts' decision

	Experts' decision on the paper "Proof transformations as program transformations" by N.N. Nepeivoda Date: 27.03.1984 Original document language: russian Authors: Michel F. Kanunnikov Organizations: Physical and Technical Inst. of Ural Scientific Center of the USSR Ac. Sci. Persons: Nikolai N. Nepeivoda Images of pages: 1 2 Back Next document (Experts' decision) Previous document (Experts' decision)
	Switch to Russian | Search | Advanced search | Folders | Themes

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