Документы, связанные с Институт математики и кибернетики АН Литовской ССР

Справка, Г. К.Григас->А.П. Ершов, 23.01.1987(?)
"Прогноз по развитию школьной информатики" Института математики и кибернетики АН Литовской ССР.
Предложение, 12.09.1979
включить всесоюзную конференцию "Методы мат. логики..." в проект плана всесоюзных научных и научно-технических конференций, симпозиумов и семинаров на 1980 г.
Письмо, А.П. Ершов->Г. К.Григас, 16.05.1986
Благодарит за посланные материалы, не возражает о включении Паскаля в перевод учебника.
Телеграмма, А.П. Ершов->В. А. Матулис, 14.09.1979
с некоторыми замечаниями по стилю первого информационного письма.
Письмо (рукописное), А.П. Ершов->В. А. Матулис, 25.10.1979
Одобрение отредактированного текста первого информационного письма.
Телеграмма, А.П. Ершов->В. А. Матулис, 04.02.1980
Просьба приехать в Новосибирск до завершения отбора докладов.
Письмо, Телькснис Л.А.->А.П. Ершов, 10.05.1983
о выделении институту ЭВМ "Агат".
Акт экспертизы, 25.04.1977
тезисов доклада С.П. Юкна "Об интерполяционных теоремах в формальных системах типа Хоара".
Письмо, Г. К.Григас->А.П. Ершов, 21.11.1986
с новостях по школьной информатике в Литве.
Телеграмма, А.П. Ершов->В. А. Матулис, 12.05.1980
об отсутствии замечаний по программе.
Письмо, В. А. Статулявичус->Оргкомитет, 29.04.1977
с сообщением о том, что тезисы означенного доклада на конференцию молодых ученых по системному программированию отправлены.
Пригласительный билет и программа, 30.07.1980
Всесоюзной конференции "Методы математической логики в проблемах искусственного интеллекта и систематическое программирование".
Телеграмма, А.П. Ершов->В. А. Матулис, 25.08.1980(?)
Сообщаются номера рейсов и время вылета из Москвы, просьба помочь с билетами до Паланги.
Телеграмма, А.П. Ершов->Г. К.Григас, 25.08.1980
Автору не ясно, как распорядиться пятью дополнительными билетами?
Письмо, В. А. Статулявичус->А.П. Ершов, 15.03.1977
Просьба выделить место с.н.с. Г. Григасу для участия в конференции, которая будет проходить в Новосибирске 23-28.05.1977.

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


Назад

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