Архив
Переписка
Входящая зарубежная корреспонденция (1980)
Письмо, Г. Мюллер->А.П. Ершов, 25.12.1980(?)
с напоминанием вернуть исправленный и дополненный текст для библиографии по логике.
Письмо, П. Бринч-Хансен->А.П. Ершов, 30.12.1980
Приводится подробная информация о языке программирования "EDISON".
Первое оповещение, М. Нараи->А.П. Ершов, 09.04.1980
о семинаре по логическому программированию (Дебрецен, 14-16.07.1980).
Письмо, Р. Тширшвиц->А.П. Ершов, 01.09.1980
Автор благодарит за внимание к его статье, включенной в сборник по философским вопросам информации, и просит прислать несколько экземпляров этого сборника. Сообщает, что задумана новая книга. Спрашивает, может ли адресат помочь с поиском издательства, которое согласилось бы эту книгу опубликовать в СССР. Извещает о планах проведения двух конференций (в 1982 и 1985 гг.).
Письмо, Г. Давид->А.П. Ершов, 06.02.1980
Исчерпывающая информация о Будапеште и Венгрии.
Сопроводительное письмо, М. Дэнкерс->А.П. Ершов, 12.03.1980
к списку публикаций проф. Э. Дейкстры для биобиблиографического очерка.
Письмо, Д. В. Хардинг->А.П. Ершов, 20.03.1980
членам Британского вычислительного общества с последним напоминанием о необходимости заполнить присланные карточки для изучения читательского спроса.
Письмо, Б. Сендов->А.П. Ершов, 18.11.1980
Автор извещает, что высылает адресату копию письма о сотрудничестве между Софийским и Новосибирским университетами. Спрашивает, может ли способствовать ускорению дела отправка письма с аналогичным содержанием ректору НГУ? Просит проинформировать, как идет оформление документов по сотрудничеству.
Письмо с приложениями, Д. Кок->А.П. Ершов, 21.02.1980
Сопроводительное письмо к статье Дж. Кока и П. Маркстейна "Measurement of Program Improvement Algorithms", а также рецензии Б. Маркса на эту статью и собственно статья.
Письмо, У. A. Вулф->А.П. Ершов, 22.09.1980
Автор благодарит за гостеприимство в Академгородке, приглашает А.П. Ершова посетить университет Карнеги-Меллона, посылает свою книгу, а также просит прислать экземпляр диссертации одного из аспирантов А.П. Ершова.
Письмо, У. A. Вулф->А.П. Ершов, 09.10.1980
Письмо касается политики правительства СССР по отношению к диссидентам и в Афганистане и реакции на это со стороны американских ученых. Продолжая быть сторонником развития научных связей с СССР, автор не желает, однако, ставить А.П. Ершова в ложное положение в случае его визита в Университет Карнеги-Меллона и считает поэтому возможным сохранить свое приглашение ему лишь как личному гостю.
Письмо, К. А. Качурик->А.П. Ершов, 08.12.1980
и копия счета на оплату членства в Техническом комитете Х3 Американского национального комитета по стандартизации.
Письмо, М. Нараи->А.П. Ершов, 05.05.1980
Об изменении порядка внесения взносов для участия в семинаре по логическому программированию в Дебрецене.
Сопроводительное письмо, Р. Д. Шмидт->А.П. Ершов, 23.04.1980
к препринту У. Норриса.
Сопроводительное письмо, П. Хендерсон->А.П. Ершов, 26.12.1980(?)
к информации о курсе по функциональному программированию.
Письмо, А. Тупин->А.П. Ершов, 28.08.1980
Подтверждает получение письма, адресованного Д. Скотту и К. Элготу. Сообщает о скоропостижной смерти последнего.
Письмо, Дж. В. Гуттаг->А.П. Ершов, 12.02.1980
На случай, если посланная ранее рецензия В. Гуттага не дошла, он посылает ее копию. Одновременно В. Гуттаг излагает политические мотивы своего дальнейшего неучастия в рецензировании докладов для Конгресса ИФИП.

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

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