|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Documents associated with Grigori S. Tseitin Notebook, 06.10.1983-10.10.1983 notes made during the School on Mixed Computation
Theses, 10.10.1983theses for discussion
Note, A.P. Ershov->G. S. Tseitin, 02.01.1986The author congratulates on a New Year, thanks for the addressee's new article.
Letter, A.P. Ershov->G. S. Tseitin, 08.10.1986The author thanks for obtained materials and discusses various current topics. (Both manuscript and typewritten texts.)
Telegram, A.P. Ershov->G. S. Tseitin, 04.01.1987Request to call.
Item 1. (Name does not exist in this language.)Notification, A. N. Maslov->A.P. Ershov, 05.02.1981 on the next meeting (Leningrad, February 1981) of the Provisional Commission. The agenda of the meeting and information for participants are attached.
Paper abstracts, 01.06.1973(?)in the "BIT" journal (¹:6 1973)in Japanese
Photography, 11.09.1975Manuscript, 25.08.1983-02.06.1983 "System software integrated development: target setting"
Note, G. S. Tseitin->A.P. Ershov, 25.05.1977Letter (hand-written), G. S. Tseitin->A.P. Ershov, 04.07.1982 Letter, G. S. Tseitin->A.P. Ershov, 10.05.1986(?) Letter with Attachments, 14.03.1988 The author asks the WG 2.1 to give recommendations as to troubles connected with standardization of the "Russian ALGOL 68". These troubles are exposed in the attached letters. (The end of one of these letters is missing.)
(Doc. "ROM-6".)
Letter, A.P. Ershov->G. S. Tseitin, 23.06.1986Letter, 28.01.1987 Covering Letter, G. S. Tseitin->A.P. Ershov, 19.07.1987 for a promised material. The author asks for the addressee's meaning on its content and on perspectives of this trend.
Memo, G. S. Tseitin->A.P. Ershov, 11.02.1985Preprint, 10.07.1983-08.08.1983 "System software integrated development: target setting" (type-written)
Letter (hand-written), N. N. Borodina ->A.P. Ershov, 01.02.1987Attached is the protocol of the "Pamiat'" society meeting
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 | |
|
|||||
|
|||||
|
|||||
|
|||||
|
