Вербицкий, Олег Васильевич - Мультиинтерактивные системы доказательств с постоянным количеством раундов и их применения : автореферат дис. ... кандидата физико-математических наук : 01.01.06

Вербицкий, Олег Васильевич.
Экспресс-заказ фрагмента
Вербицкий, Олег Васильевич.
Мультиинтерактивные системы доказательств с постоянным количеством раундов и их применения : автореферат дис. ... кандидата физико-математических наук : 01.01.06. - Москва, 1994. - 12 с. : ил.

Математическая логика, алгебра и теория чисел

Marc21

Скачать marc21-запись

Показать

Описание

Автор
ЗаглавиеМультиинтерактивные системы доказательств с постоянным количеством раундов и их применения : автореферат дис. ... кандидата физико-математических наук : 01.01.06
Коллекции ЕЭК РГБ Каталог авторефератов диссертаций
Коллекции ЭБ Авторефераты
Дата поступления в ЕЭК 18.08.2008
Дата поступления в ЭБ 31.07.2008
Каталоги Авторефераты диссертаций
Выходные данныеМосква, 1994
Физическое описание12 с. : ил.
ТемаМатематическая логика, алгебра и теория чисел
Специальность01.01.06: Математическая логика, алгебра и теория чисел
ЯзыкРусский
Электронный адрес Электронный ресурс