|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Университет в Ибараки Сопроводительное письмо, Т. Такаока->А.П. Ершов, 29.08.1986 к стаье "A Decomposition Rule for the Hoare Logic", представленной для опубликования в журнале IPL.
Письмо, А.П. Ершов->Т. Такаока, 08.10.1986Подтверждает получение статьи и передачу ее на рецензирование. /Рукописный и машинописный варианты./
Письмо, А.П. Ершов->Т. Такаока, 08.12.1986Предлагает исправить статью с учетом замечаний. /Рукописный и машинописный варианты./
Письмо, Т. Такаока->А.П. Ершов, 12.03.1987Посылает исправленный вариант статьи.
По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
