Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Опарин Всеволод Владиславович
В базах данных Math-Net.Ru
Публикаций: 1
Научных статей: 1

Статистика просмотров:
Эта страница:144
Страницы публикаций:374
Полные тексты:172
кандидат физико-математических наук (2016)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
E-mail:

Научная биография:

Опарин, Всеволод Владиславович. Оценки сложности вывода в системах доказательств, основанных на методе резолюций : дис. ... канд. физ.-матем. наук : 01.01.06 ; [Место защиты: Мат. ин-т им. В.А. Стеклова РАН]. - Санкт-Петербург, 2016. - 95 с.

https://www.mathnet.ru/rus/person58815
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://elibrary.ru/author_items.asp?authorid=778842

Публикации в базе данных Math-Net.Ru Цитирования
2009
1. В. В. Опарин, А. Л. Тулупьев, “Синтез графа смежности с минимальным числом ребер: формализация алгоритма и анализ его корректности”, Тр. СПИИРАН, 11 (2009),  142–157  mathnet 8

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024