|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Documents associated with Physical and Technical Institute of Ural Scientific Center of the USSR Academy of Science Experts' decision, 27.03.1984 on the paper "Proof transformations as program transformations" by N.N. Nepeivoda
Letter, A.P. Ershov->N. N. Nepeivoda, 11.02.1985The author recommends a name of the addressee's work and makes remarks on it.
Letter, A.P. Ershov->V. A. Trapeznikov, 11.02.1985The author confirms the Nikolai N. Nepeivoda's readiness to a competition for a degree of a Doctor of Science and recommends two variants of a title of his doctoral thesis.
Letter, V. A. Trapeznikov->A.P. Ershov, 01.04.1985The author informs that the theme of the doctoral dissertation by Nikolai N. Nepeivoda is confirmed taking into consideration the addressee's recommendations. He invites A.Ershov to visit Izhevsk.
Initial order | In alphabetical order | By date Back |
|
| Switch to Russian | Search | Advanced search | Folders | Themes | |
|
|||||
|
|||||
|
|||||
|
|||||
|
