Archive
All-Union Conferences, Seminars, Symposiums, Schools
All-Union School on Mixed Computation
Experts' decisions
Experts' decision
Experts' decision
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
Date: 28.12.1983(?)
Original document language: russian
Authors: Alexander V. Grokh, V. F. Yelesin, Lev T. Kuzin
Organizations: Moscow Engineering and Physics Inst.
Persons: Alexander V. Grokh

Images of pages:
1 2 3 4 5


Back
Next document (Experts' decision)

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