|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Documents associated with V. A. Nepomniaschy Minutes ¹18, 05.03.1991 Minutes ¹1, 05.01.1995 Proposals, 12.01.1979 Report, 26.06.1975 Preprint Foreword, 05.08.1985 to the Soviet-Bulgarian collected articles "Mathematical theory of programming"
Minutes ¹5, 02.10.1990List of members of scientific and technical board of the Computing Center's Informatics department
Letter, A.P. Ershov->N. P. Buslenko, 31.12.1976Note, 20.05.1970(?) List Session K J. McCarthy "New results in mathematical theory of computation"; V.N. Red'ko "Parametrical grammars"; A.L. Fuksman "On some properties of formal grammars"; V.A. Tuzov "Resolution problems for graph schemes with permutational operators"; V.A. Nepomniashy "On one method for recognition of program schemata equivalence and discrete transformations"; M.G. Gonza, M.N. Maritchuk "Parametrically driven syntactic checking and analysis of programming languages".
Telegram, A.P. Ershov->A. A. Letichevsky, 18.02.1969List Item 9. (Name does not exist in this language.) Minutes, 17.11.1980 Extract, 07.12.1993 Memo (draft), A.P. Ershov->Yu. L. Ershov, 28.08.1975 Memo, V.I. Konstantinov->G. V. Saprykina, 01.04.1992 on the setting of salary bonuses for post-graduate scientific advisorship
Protocol Excerpt, 07.12.1993from the 23rd sittings of the IIS Scientific Council. The Council resolved to petition for granting to the IIS the name of academician Andrei Ershov. Attached to the protocol is the Note on the research and organizational activities of Andrei Ershov.
1 2 3 4 5 6 7 8 9 10 Initial order | In alphabetical order | By date Back |
|
| Switch to Russian | Search | Advanced search | Folders | Themes | |
|
|||||
|
|||||
|
|||||
|
|||||
|
