Documents associated with Raymond T. Yeh

Copy of the letter, 28.03.1979
Letter, R. T. Yeh->A.P. Ershov, 05.01.1977
Telegram, A.P. Ershov->R. T. Yeh, 04.01.1977
Abstract of the paper, 15.07.1974(?)
"Program Verification by Predicate Transformation".
Telegram, R. T. Yeh->A.P. Ershov, 26.01.1977
Letter, R. T. Yeh->A.P. Ershov, 28.07.1977
Letter, R. T. Yeh->A.P. Ershov, 22.02.1977
Letter with attachment, R. T. Yeh->A.P. Ershov, 27.03.1977
Letter, R. T. Yeh->A.P. Ershov, 23.01.1975
Letter, R. T. Yeh->A.P. Ershov, 24.05.1977
Letter with attachment, R. T. Yeh->A.P. Ershov, 17.08.1977
Letter, R. T. Yeh->A.P. Ershov, 21.09.1977
Telegram, A.P. Ershov->R. T. Yeh, 12.03.1975
Letter, R. T. Yeh->A.P. Ershov, 11.10.1977
Letter, A.P. Ershov->R. T. Yeh, 24.11.1977
Memorandum, R. T. Yeh->A.P. Ershov, 23.11.1977
Information, R. T. Yeh->A.P. Ershov, 07.03.1975
Letter, R. T. Yeh->A.P. Ershov, 16.04.1976
Invitation to join the editorial board for a three year term.
Letter with attachment, R. T. Yeh->W. M. Turski, 04.03.1975
Letter, A.P. Ershov->R. T. Yeh, 21.06.1976

1 2
Initial order | In alphabetical order | By date


Back

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