|
|||||||||||
Документы, связанные с Ян Мартынович Барздинь Акт экспертизы, 10.04.1977 тезисов доклада М.И. Аугустона "ЛЕМ - система языковых средств для программирования обработки последовательных файлов".
АнкетаЯ. М. Барздиня.
Аннотации статей, 01.06.1973(?)с cимпозиума по теоретическому программированию в журнале "BIT" (No. 6, 1973) на японском языке: Я.М. Барздиня, Дж. Шварца, М. Патерсона, Дж. Денниса, Р. Миллера, Г.С. Цейтина, Дж. Морриса и др.
Брошюра, 29.12.1987Стродс Ю.Ф. "Методы распознавания синтаксической некорректности контекстно свободных языков". Автореферат на соискание ученой степени кандидата физико-математических наук.
Записка, 01.09.1987со списком дел для памяти.
Информация, 15.07.1981(?)которую надо обсудить в телефонном разговоре с Д.Н. Тодороем по поводу симпозиума по системному и теоретическому программированию в Кишиневе в 1982 г. /Текст рукописный./
Карточка, 14.04.1969с напоминанием о статье, присланной на рецензию.
Оповещениео международной конференции "Перспективы системной информатики", посвященной 60-летию со дня рождения академика А.П. Ершова, которая состоится 27-30 мая 1991 г. в Академгородке. Перечислены темы обсуждения и члены программного комитета.
Ответ, 02.06.1982Я.М. Барздиня.
Отзыв, 09.10.1985официального оппонента о диссертации Л.Л. Максимовой "Разрешимые свойства суперинтуиционистских и модальных логик".
Отзыв, 26.10.1987на доклад Х. Фуджиты и К. Фурукавы "A self-applicable partial evaluation and its use in incremental compilation".
Письмо, А.П. Ершов->Х. Земанек, 12.01.1982В ответ на письмо от 14.12.1981 - автор рассказывает о собрании Академии наук СССР, на котором представители вычислительной науки были избраны академиками и членами-корреспондентами. Высоко оценивает 122-й том "Lecture Notes in Computer Science". Обнаружил в нем лишь одну ошибку. Просит прислать несколько работ для перевода на русский язык.
Письмо, А.П. Ершов->Г.Я. Барздинь, 05.05.1986Предлагает включить работу адресата в свой обзорный доклад по применению смешанных вычислений в трансляции на ноябрьской конференции. /Рукописный и машинописный варианты./
Письмо, А.П. Ершов->Я. М. Барздинь, 01.02.1984Договаривается о возможности приехать на апрельские чтения, совместив их с совещанием в Минске. /Текст рукописный./
Письмо, Я. М. Барздинь->А.П. Ершов, 25.02.1980(?)Посылает заметку своего сотрудника Е.Б. Кинбера "On inclusion problem for deterministic multitape automata" и просит рекомендовать ее для публикации в IPL.
Письмо, Я. М. Барздинь->А.П. Ершов, 30.05.1986Автор сообщает подробную информацию о заседании программного комитета конференции.
Письмо, Я. М. Барздинь->А.П. Ершов, 10.07.1981Автор надеется, что Андрей Петрович сможет приехать на конференцию "Синтез, тестирование, верификация и отладка программ". Посылает ему материалы по этой конференции.
Письмо, В. А. Матулис->А.П. Ершов, 24.10.1979В письме приводится список организационного комитета конференции и обозначаются функции А.П. Ершова в оргкомитете - ответственный за составление программы конференции.
Письмо, А.П. Ершов->Я. М. Барздинь, 01.02.1984с ответом на приглашение выступить с лекцией; более конкретную информацию обещает сообщить в конце февраля.
Письмо, Я. М. Барздинь->А.П. Ершов, 13.02.1984Автор выражает удовлетворение в связи с согласием адресата принять участие в цикле лекций; готов скорректировать программу.
1 2 3 4 По порядку | По алфавиту | По дате Назад |
||
Switch to English | Поиск | Расширенный поиск | Папки | Темы |
|