documents   about archive   about project   Andrei Ershov   in Russian

Archive International Conferences, Seminars, Symposiums, Congresses, Schools, and Colloquiums International Workshop on Partial Evaluation and Mixed Computation Papers Paper

	Paper by A.V. Grokh and A.G. Krasovsky "Mixed calculation and verification of symbol manipulation" Original document language: English Authors: Alexander V. Grokh, A. G. Krasovsky Images of pages: 1 2 3 4 5 6 7 8 9 10 11 12 13 Back Next document (List) Previous document (Paper)
	Switch to Russian | Search | Advanced search | Folders | Themes

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