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

Архив Научное творчество Работы 1984 г. Статья "Научные основы доказательного программирования" Список

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

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