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

Карточка

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

Мультиинтерактивные системы доказательств с постоянным количеством раундов и их применения : автореферат дис. ... кандидата физико-математических наук : 01.01.06 / МГУ им. М. В. Ломоносова. - Москва, 1994. - 10 с.
Математическая логика, алгебра и теория чисел
FB 9 95-1/2478-6

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

Marc21

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

Показать

Описание

Автор
ЗаглавиеМультиинтерактивные системы доказательств с постоянным количеством раундов и их применения : автореферат дис. ... кандидата физико-математических наук : 01.01.06
Коллекции ЭБ Авторефераты
Дата поступления в ЭК 29.06.1995
Дата поступления в ЭБ 25.06.2008
Каталоги Авторефераты диссертаций
Сведения об ответственностиМГУ им. М. В. Ломоносова
Выходные данныеМосква, 1994
Физическое описание10 с.
ТемаМатематическая логика, алгебра и теория чисел
BBK-кодВ121,03
Специальность01.01.06: Математическая логика, алгебра и теория чисел
ЯзыкРусский
Места храненияFB 9 95-1/2478-6
Электронный адрес Электронный ресурс