|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Григорий Ефроимович Минц Обложка, 25.04.1985-03.12.1985 с хронологией работы над статьей.
Обложка, 05.10.1986-13.07.1986с хронологией работы над статьей.
Отчет рецензента, 15.05.1985на статью "Semantics of a Declarative Language".
Статья, 22.03.1985"Semantics of a Declarative Language".
Список (проект), 10.09.1979членов программного комитета конференции.
Письмо, А.П. Ершов->Г. Е. Минц, 08.10.1986Просит прорецензировать статью Такаоки.
Сопроводительное письмо, Г. Е. Минц->А.П. Ершов, 27.10.1986к отчету рецензента о статье Т. Такаоки. /Текст рукописный./
Сопроводительное письмо, Э. Тыугу->А.П. Ершов..., 08.10.1985к перепечатанному оригиналу статьи и разрешению на вывоз.
Письмо, Х. Гербранди->А.П. Ершов, 18.10.1985Просит сообщить даты получения первого и переработанного вариантов статьи.
Отчет рецензента, 03.12.1986о статье "A Decomposition Rule for the Hoare Logic".
Рецензия, 20.01.1988на книгу "Логические основания искусственного интеллекта".
Рецензия, 20.01.1988на книгу "Воспоминания о Гёделе".
Телеграмма, А.П. Ершов->Х. Гербранди, 10.11.1985Сообщает дату получения статьи.
Сопроводительное письмо, В. А. Матулис->А.П. Ершов, 19.10.1979к тексту отредактированного первого информационного письма об организации конференции в Паланге в 1980 г. с перечнем внесенных изменений. Приложение: 1. Текст первого информационного письма.
Регистрационная карточка, 15.10.1985на статью "Semantics of a Declarative Language".
Письмо, Н. К. Замов->А.П. Ершов, 15.11.1985Автор посылает свою статью с просьбой представить ее в ДАН СССР. /Текст рукописный./
Резюме, 24.10.1985на статью Н.К. Замова "Метод резолюции без скулемизации".
Письмо, Э. Тыугу->А.П. Ершов, 09.11.1987Автор благодарит адресата за внимание к работам по программированию, проводимым в Таллине. Сообщает, что Г.Е. Минц устроился работать в Таллине и собирается защищать диссертацию в МИ АН СССР. Высылает адресату летние фотографии. /Текст рукописный./
Письмо, Г. Е. Минц->А.П. Ершов, 22.12.1987Автор сообщает, что находится в Москве с 22 по 24 декабря. Надеется увидеться с адресатом и поговорить. Спрашивает, когда и где это можно сделать? /Текст рукописный./
Сопроводительное письмо, Г. Е. Минц->А.П. Ершов, 25.04.1982к копии рецензии для издания "Новые книги за рубежом".
1 2 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
