|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Documents associated with C. A. R. Hoare Note, Unknown Author->E. W. Dijkstra, 13.09.1976 Request for the opinion on "fuzzy programs" and possibility of their implementation
Transcript, 11.08.1984of the talk with C.A.R. Hoare; August 10-11, 1984 (handwritten)
Letter, A.P. Ershov->G.I. Petrashen', 26.08.1976Item 5. (Name does not exist in this language.) Working Data Letter, Tony Hoare->A.P. Ershov, 04.02.1986 The answer by C.A.R. Hoare to the Ershov's "Christmas letter".
Letter with attachment, A.P. Ershov->Yu. S. Vishnyakov, 07.09.1984Item 6. (Name does not exist in this language.) Letter, A.P. Ershov->G. N. Cherkasov, 26.08.1976 Letter, H. Zemanek->A.P. Ershov..., 07.02.1969 Article (copy), 01.02.1981(?) "The Emperor's Old Clothes" by C.A.R. Hoare ( Comm. ACM, V.24. n.2 February 1981)
Letter (hand-wtitten), Tony Hoare->A.P. Ershov, 01.02.1982Note, Unknown Author->Tony Hoare, 17.09.1976 on computer programmers' retraining
Letter, G. I. Marchuk->S. G. Sosnovsky, 27.01.1976Request to the "Mir" Publishing house director to pay author's fees to Professors Dijkstra and Hoare for their works published by "Mir" and to time the payment to their visit to the USSR in September
Letter, Tony Hoare->A.P. Ershov, 10.01.1975C.A.R.Hoare cannot attend the Symposium and suggests Dr. J.Welsh instead.
Noteabout sending the paper to A. Hoare
Copy of the letter, B. Randell->W. L. van der Poel, 03.01.1968with the aithors point of view on WG2.1 meetings schedule
Telegram, A.P. Ershov->Tony Hoare, 26.01.1976Letter, A.P. Ershov->V. K. Kabulov, 27.03.1978 about strong support to the idea of symposium from the Academy of Sciences of USSR and the world scientific society
Telegram (hand-written draft), A.P. Ershov->P. A. Vares, 20.08.1976(?)informing of the date of arrival to Moscow of professors Dijkstra and Hoare; request to check the situation with entrance visas
1 2 3 4 5 6 7 8 9 10 11 12 Initial order | In alphabetical order | By date Back |
|
| Switch to Russian | Search | Advanced search | Folders | Themes | |
|
|||||
|
|||||
|
|||||
|
|||||
|
