Documents associated with Lev T. Kuzin

Experts' decision, 28.12.1983(?)
on the paper "Mixed computation and program verification" by A.V. Grokh; a covering letter, memo and information about confidential data used in this paper are enclosed

Initial order | In alphabetical order | By date


Back

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016