| Листок присутствия, 23.11.1984 в котором оставили свои подписи члены, наблюдатели и приглашенные 23.11.1984.
Протокол, 23.11.198413-го заседания КоСМО по 1-му пункту повестки дня - "О работах институтов Ленинградского научного центра в области системного программирования /С.С. Лавров, Г.С. Цейтин, А.Н. Терехов и др./. Председательствующий - А.П. Ершов; присутствовали 15 членов, 6 наблюдателей и 16 приглашенных специалистов.
Протокол, 23.11.198413-го заседания КоСМО по 2-му пункту повестки дня - "Доказательное программирование" /Э.Х. Тыугу, В.А. Непомнящий, В.К. Сабельфельд, Я.М. Барздинь/. Председательствующий - А.П. Ершов.
Решение, 24.11.1984"О доказательном программировании".
Письмо, В. А. Евстигнеев->А.П. Ершов, 19.09.1984Сообщение об очередном 13-м заседании Комиссии.
Письмо, Э. Тыугу->А.П. Ершов, 20.10.1984Сообщает программу 13-го заседания.
Приглашение, Оргкомитет->А.П. Ершов, 30.10.1984на заседание Комиссии сразу после конференции "Диалог 84-Микро".
Черновик, 23.11.1984предложений к решению Комиссии.
Письмо, Э. Тыугу->А.П. Ершов, 23.11.1984(?)Дубль предыдущего письма Тыугу с рукописной окончательной программой заседания.
Список, 23.11.1984выступающих на заседании.
По порядку | По алфавиту | По дате |
