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

Карточка

Вербицкий, Олег Васильевич.
Вербицкий, Олег Васильевич.

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

Документ в свободном доступе. Читать 

Marc21

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

Показать

Описание

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