Архив
ИФИП
Первая рабочая конференция "Формальное описание концепций программирования"
Рабочие записи, 01.08.1977-05.08.1977
по ходу конференции.
Конверт и почтовый лист, 31.07.1977
гостиницы "The Algonquin".
Записка, 01.08.1977(?)
с темой некоторой работы и адресом проф. Лангмаака.
Два списка, 01.08.1977-05.08.1977
участников конференции.
Научно-техническое задание, 14.04.1977
А.П. Ершову и В.Е. Котову к поездке в Канаду.
Обоснование, 23.05.1976
командировки А.П. Ершова в Канаду. /Черновик./
Бланк справки, 04.08.1977
для участников конференции.
Петиция, 01.08.1977
в поддержку Щаранского и Турчина.
Почтовая карточка, Дж. Б. Деннис->А.П. Ершов, 18.02.1977
с уведомлением о получении тезисов докладов для Рабочей конференции ИФИП по формальному описанию концепций программирования.
Письмо, Дж. Б. Деннис->А.П. Ершов, 15.04.1977
Редакция сообщает, что доклад адресата включен в Труды рабочей конференции ИФИП/ТК2 "Формальное описание концепций программирования". Срок подачи рукописи до 1 июня 1977 г.
Письмо, Дж. Б. Деннис->А.П. Ершов, 28.04.1977
сопровождающее программу, туристическую информацию и регистрационные материалы участников Рабочей конференции ИФИП по формальному описанию концепций программирования.
Письмо, Дж. Б. Деннис->А.П. Ершов, 03.06.1977
с подтверждением получения рукописи доклада на Рабочей конференции ИФИП по формальному описанию концепций программирования.

1 2 3
По порядку | По алфавиту | По дате

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016