documents   about archive   about project   Andrei Ershov   in Russian

Archive Correspondence Incoming foreign mail (1980) Covering letter

	Covering letter to the report "A proof of a theorem of Lipton on Hoare logic and aplications. Date: 03.09.1980 Original document language: English Authors: Hans Langmaack Organizations: Christian-Albrechts-Univ., Inst. fuer Informatik und Praktische Mathematik Addressee: Andrei Petrovich Ershov Images of pages: 1 Back Next document (Letter) Previous document (Letter)
	Switch to Russian | Search | Advanced search | Folders | Themes

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