Архив
Переписка
Исходящая зарубежная корреспонденция (1967)
Письмо, А.П. Ершов->Ф. Г. Дункан, 16.08.1967
Благодарит за присланную карту Голландии. Посылает список своих коллег из разных городов с их адресами, которые были бы рады получить Алгол-бюллетень с отчетом по АЛГОЛу Х.
Реферат, 31.08.1967
на статью Kaphengst "Axiomatizable classes of automat".
Реферат, 31.08.1967
на статью A. Ehrenfoucht, Ortowska "Mechanical proof procedure for prepositional calculus".
Реферат, 31.08.1967
на статью R.M. Baer "Certain directed Post systems and automato".
Письмо, А.П. Ершов->В. Л. ван дер Пул, 11.09.1967
Просит сообщить информацию о следующем заседании Рабочей группы, чтобы планировать свои зарубежные поездки на следующий год.
Письмо, А.П. Ершов->Дж. Е. Форсайт, 11.09.1967
Сообщает некоторые технические детали, связанные с возможной поездкой в США, и примерную программу.
Письмо, А.П. Ершов->Э. Эттингер, 11.09.1967
Сообщает темы своих возможных выступлений на тот случай, если планируемая поездка в США все же состоится. Окончательного решения еще нет.
Письмо, А.П. Ершов->Дж. Б. Деннис, 11.09.1967
Сожалеет, что не сможет принять участие в симпозиуме по операционным системам, так как время поездки в США установлено, начиная с 1 ноября. Надеется на встречу.
Письмо, А.П. Ершов->К. Дж. Шоу, 12.09.1967
Благодарит за письмо от 30 августа, рассказывает о путанице в почтовых отправлениях. Соглашается с предложением адресата и высказывает свое мнение относительно "Типографских правил".
Письмо, А.П. Ершов->К. Дж. Шоу, 27.09.1967
Высказывает свои замечания к тексту предисловия к 5-му тому "Annual Review" и идею насчет публикации в 6-м томе перевода статей с описанием системы АЛЬФА. Отвечает на вопросы из письма адресата от 15 сентября.
Телеграмма, А.П. Ершов->Э. А. Фейгенбаум, 05.10.1967
Сообщает о предполагаемом маршруте и дате вылета.
Письмо, А.П. Ершов->М. Гальперн, 09.10.1967
Благодарит за письмо от 7 сентября, за статью и желание помочь в момент приезда в Калифорнию.
Письмо, А.П. Ершов->Г. Микельсон, 09.10.1967
Благодарит за присланные отчеты.
Письмо, А.П. Ершов->Дж. Е. Сэммет, 11.10.1967
Благодарит за письмо и присланный бюллетень. Возвращает заполненную анкету. Посылает книгу, которая лежит в области интересов адресата, и надеется на встречу во время своего пребывания в США.
Письмо, А.П. Ершов->Дж. Армердинг, 11.10.1967
Благодарит за письмо от 13 сентября и подчеркивает, что его участие в симпозиуме является условным в силу перечисленных обстоятельств.
Письмо, А.П. Ершов->Б. Рэнделл, 12.10.1967
Посылает перевод на русский язык книги адресата и Л.Дж. Рассела "Реализация АЛГОЛа 60". Рассказывает о своей планируемой поездке в США.
Письмо, А.П. Ершов->Дж. Фельдман, 12.10.1967
Посылает перевод на русский язык сборника "Computers and Tought".
Телеграмма, А.П. Ершов->Э. А. Фейгенбаум, 12.10.1967
Сообщает о дате вылета из Москвы в Монреаль и просит зарезервировать билет до Сан-Франциско.
Письмо, А.П. Ершов->Дж. Т. Шварц, 17.10.1967
Сообщает, что его поездка в США становится реальностью. Малый срок не позволит воспользоваться приглашением адресата в Институт Куранта в полном объеме. Автор надеется, что сможет пробыть в Нью-Йорке дней 10.
Письмо, 18.10.1967
Благодарит за интересные выпуски "Компьютервью" и просит внести в список рассылки свой правильный адрес.

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

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