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

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

Математическая логика, алгебра и теория чисел
Шифр хранения:
FB 9 95-1/2478-6

Marc21

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

Показать

Описание

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