документы   об архиве   о проекте   Андрей Ершов   Switch to English

Архив Редакционно-издательская деятельность Сотрудничество с журналом "Программирование" Переписка с редакцией и авторами Письмо

	Письмо Поддерживает исправленный вариант статьи В.А. Непомнящего "Доказательство правильности программ линейной алгебры". Дата: 24.08.1981 Оригинальный язык документа: русский Авторы: Андрей Петрович Ершов Организации: Журнал "Программирование" Персоналии: Валерий Александрович Непомнящий Адресаты: Серафима Ивановна Будыхо Изображения страниц: 1 Назад Следующий документ (Письмо) Предыдущий документ (Письмо)
	Switch to English | Поиск | Расширенный поиск | Папки | Темы

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