documents   about archive   about project   Andrei Ershov   in Russian

Archive International Conferences, Seminars, Symposiums, Congresses, Schools, and Colloquiums International Conference on Software Reliability Papers submitted to the conference Paper

	Paper "Joint Program/Proof Refinement of Some Marking Algorithms: a Study of Proof and Structuring Styles". Date: 01.06.1974(?) Article names: "Joint Program/Proof Refinement of Some Marking Algorithms: a Study of Proof and Structuring Styles". Original document language: English Authors: Lawrence Yelowitz Images of pages: 1 2 3 4 5 6 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