Архив академика А.П.Ершова

Архив

Участие в составлении государственных программ

КП НТП СССР

Обсуждение на КоСМО в Пущино

Записка

Записка
Г.С. Цейтина, касающаяся обсуждения доказательности программирования.
Дата: 09.09.1982
Оригинальный язык документа: русский
Авторы: Григорий Самуилович Цейтин
Адресаты: Андрей Петрович Ершов

Изображения страниц:


	1

Назад
Следующий документ (Мнение)
Предыдущий документ (Замечания)

Switch to English | Поиск | Расширенный поиск | Папки | Темы