Документы, связанные с Университет Карлсруэ, Институт информатики

Письмо, А.П. Ершов->П. Дойссен, 20.05.1980
Просит вновь прислать те материалы, которые, по-видимому, затерялись при пересылке. Касается вопросов научного взаимодействия.
Письмо, автор не установлен->А.П. Ершов, 09.07.1980(?)
Отчет K. Durre and G. Fels еще не напечатан.
Письмо, П. Дойссен->А.П. Ершов, 16.07.1979
Автор рассказывает о работе своей группы над проблемой доказательства теорем. В связи с этим просит А.П. Ершова помочь связаться с профессором Г.С. Маканиным, который публиковал статьи по этой же тематике.
Письмо, Г. Гоос->А.П. Ершов, 16.03.1977
Сообщение об очередном заседании Программного комитета Рабочей конференции ИФИП по качественному программному обеспечению.
Записка, автор не установлен->А.П. Ершов, 05.08.1981
с извинением за то, что прислать пропущенные номера невозможно - они все уже распроданы.
Письмо, 02.06.1986
Информация о том, что запрошенные отчеты еще не напечатаны. Будут высланы позже.
Письмо, автор не установлен->А.П. Ершов, 15.09.1980
Отчеты № 24 и 25 за 1979 год отсутствуют.
Письмо, 12.03.1986
Факультет информатики университета в Карлсруэ предлагает заказать копии их Отчетов с последующей постраничной оплатой.
Письмо, П. Дойссен->А.П. Ершов, 20.11.1980
Вместе с письмом отправлена статья. Сообщается информация о заключительных днях Конгресса ИФИП.
Письмо, 17.07.1978
с благодарностью за почтовую открытку и красивую марку. /Текст рукописный./
Список, 26.07.1979
SEKI отчетов за 1973-1979 гг.

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


Назад

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