|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Ян Мартынович Барздинь Письмо, А.П. Ершов->Х. Земанек, 12.01.1982 В ответ на письмо от 14.12.1981 - автор рассказывает о собрании Академии наук СССР, на котором представители вычислительной науки были избраны академиками и членами-корреспондентами. Высоко оценивает 122-й том "Lecture Notes in Computer Science". Обнаружил в нем лишь одну ошибку. Просит прислать несколько работ для перевода на русский язык.
Аннотации статей, 01.06.1973(?)с cимпозиума по теоретическому программированию в журнале "BIT" (No. 6, 1973) на японском языке: Я.М. Барздиня, Дж. Шварца, М. Патерсона, Дж. Денниса, Р. Миллера, Г.С. Цейтина, Дж. Морриса и др.
Брошюра, 29.12.1987Стродс Ю.Ф. "Методы распознавания синтаксической некорректности контекстно свободных языков". Автореферат на соискание ученой степени кандидата физико-математических наук.
Оповещениео международной конференции "Перспективы системной информатики", посвященной 60-летию со дня рождения академика А.П. Ершова, которая состоится 27-30 мая 1991 г. в Академгородке. Перечислены темы обсуждения и члены программного комитета.
Письмо, Я. М. Барздинь->А.П. Ершов, 25.02.1980(?)Посылает заметку своего сотрудника Е.Б. Кинбера "On inclusion problem for deterministic multitape automata" и просит рекомендовать ее для публикации в IPL.
Отзыв, 09.10.1985официального оппонента о диссертации Л.Л. Максимовой "Разрешимые свойства суперинтуиционистских и модальных логик".
Письмо, А.П. Ершов->Г.Я. Барздинь, 05.05.1986Предлагает включить работу адресата в свой обзорный доклад по применению смешанных вычислений в трансляции на ноябрьской конференции. /Рукописный и машинописный варианты./
Письмо, А.П. Ершов->Я. М. Барздинь, 01.02.1984Договаривается о возможности приехать на апрельские чтения, совместив их с совещанием в Минске. /Текст рукописный./
Списокчленов советской делегации (тема VII, Франция, 5 дней, 1985).
Повестка, 26.04.1972заседания Президиума СО АН СССР на 26 апреля 1972 г.
Письмо, Я. М. Барздинь->А.П. Ершов, 30.05.1986Автор сообщает подробную информацию о заседании программного комитета конференции.
Рукопись выступления, 08.08.1977с изложением доклада Барздиня.
Приказ, 09.07.1981"О проведении всесоюзной научной конференции "Синтез, тестирование, верификация и отладка программ" (сентябрь 1981 года; Рига) и Приложение (состав оргкомитета) к нему.
АнкетаЯ. М. Барздиня.
Информация, 15.07.1981(?)которую надо обсудить в телефонном разговоре с Д.Н. Тодороем по поводу симпозиума по системному и теоретическому программированию в Кишиневе в 1982 г. /Текст рукописный./
Списокучастников симпозиума по теоретическому программированию (46 фамилий с краткой справочной информацией).
Тезисы, 17.09.1979докладов Барздиня, Кнута, Семенова, Сираджинова и Успенского.
Письмо, Я. М. Барздинь->А.П. Ершов, 10.07.1981Автор надеется, что Андрей Петрович сможет приехать на конференцию "Синтез, тестирование, верификация и отладка программ". Посылает ему материалы по этой конференции.
Расписание, 08.02.1988отправки докладов на коллоквиум по смешанным вычислениям.
Ответ, 02.06.1982Я.М. Барздиня.
1 2 3 4 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
