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

Архив Всесоюзные конференции, семинары, симпозиумы, совещания, съезды, школы-семинары Всесоюзная школа по смешанным вычислениям Акты экспертизы Акт экспертизы

	Акт экспертизы на статью Н.Н. Непейводы "Преобразования доказательств как преобразования программ". Дата: 27.03.1984 Названия статей: "Преобразования доказательств как преобразования программ" Оригинальный язык документа: русский Авторы: Михаил Федорович Канунников Организации: ФТИ УрНЦ АН СССР Персоналии: Николай Николаевич Непейвода Изображения страниц: 1 2 Назад Следующий документ (Акт экспертизы) Предыдущий документ (Акт экспертизы)
	Switch to English | Поиск | Расширенный поиск | Папки | Темы

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