|
|||||||||||
Документы, связанные с Григорий Ефроимович Минц Телеграмма, А.П. Ершов->Н. А. Шанин, 08.09.1971 Просьба сообщить о возможности принять польского ученого З.Ю. Звиногродского.
Список (проект), 10.09.1979членов программного комитета конференции.
Сопроводительное письмо, В. А. Матулис->А.П. Ершов, 19.10.1979к тексту отредактированного первого информационного письма об организации конференции в Паланге в 1980 г. с перечнем внесенных изменений. Приложение: 1. Текст первого информационного письма.
Сопроводительное письмо, Г. Е. Минц->А.П. Ершов, 25.04.1982к копии рецензии для издания "Новые книги за рубежом".
Письмо, А.П. Ершов->Г. Е. Минц, 14.05.1982Соглашается с мнением адресата по поводу книги Барендрегта и реферата Клопа.
Письмо, Г. Е. Минц->А.П. Ершов, 17.05.1982В ответ на письмо А.П. Ершова от 14 мая автор поддерживает идею о написании рабочего предложения по изданию книги Берандрегта, предлагает свою помощь в переводе книги.
Письмо, Г. Е. Минц->А.П. Ершов, 17.09.1982Сообщает грустную весть о гибели в автомобильной катастрофе С.Ю. Маслова. Выяснилось, что перевод книги Барендрегта уже поручен другому человеку, а взамен предложено составить сборник по приложениям Лямбда-исчисления в вычислительной науке. Спрашивает мнение А.П. Ершова. /Текст рукописный./
Письмо с приложением, Г. Е. Минц->А.П. Ершов, 23.09.1982Посылает подписанные Матиясевичем предложения об издании сборника переводов "Приложения Лямбда-исчисления к теоретическому программированию". Предлагает подписать их и отправить в Москву. Надеется на приезд А.П. Ершова в ЛОМИ.
Письмо, 25.04.1984Рекомендация для перевода и издания двухтомного труда "Автоматизация рассуждений".
Статья, 22.03.1985"Semantics of a Declarative Language".
Обложка, 25.04.1985-03.12.1985с хронологией работы над статьей.
Отчет рецензента, 15.05.1985на статью "Semantics of a Declarative Language".
Сопроводительное письмо, Э. Тыугу->А.П. Ершов..., 08.10.1985к перепечатанному оригиналу статьи и разрешению на вывоз.
Регистрационная карточка, 15.10.1985на статью "Semantics of a Declarative Language".
Письмо, Х. Гербранди->А.П. Ершов, 18.10.1985Просит сообщить даты получения первого и переработанного вариантов статьи.
Резюме, 24.10.1985на статью Н.К. Замова "Метод резолюции без скулемизации".
Телеграмма, А.П. Ершов->Х. Гербранди, 10.11.1985Сообщает дату получения статьи.
Письмо, Н. К. Замов->А.П. Ершов, 15.11.1985Автор посылает свою статью с просьбой представить ее в ДАН СССР. /Текст рукописный./
Письмо (рукописное), К. Вершинин->А.П. Ершов, 22.08.1986Возвращает книгу И. Братко. Очень высоко оценивает ее и просит сделать для него ксерокопию. /Текст рукописный./
Письмо с приложением, Г. Е. Минц->А.П. Ершов, 27.08.1986Посылает копию письма Э.Х. Тыугу по поводу издания книги И. Братко о ПРОЛОГе. Автор просит после прочтения вернуть книгу в Таллин.
1 2 По порядку | По алфавиту | По дате Назад |
||
Switch to English | Поиск | Расширенный поиск | Папки | Темы |
|