documents
about archive
about project
Andrei Ershov
in Russian
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