СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ	История поисков

Справка

    Математик. Кандидат физико-математических наук. Выпускник Санкт-Петербургского государственного университета (2003). Младший научный сотрудник лаборатории математической логики Санкт-Петербургского отделения Математического института им. В. А.Стеклова РАН, одновременно системный инженер корпорации "Intel Mobile Communications GmbH" (информ. на 2020 г.).
    Научные интересы: доказательство сложности; точные алгоритмы; алгоритмы для SAT.

        Вариантная форма имени

Kojevnikov, Arist (кандидат физико-математических наук) (английский язык)

        Источники информации
    Сложность пропозиционных систем доказательств, оперирующих неравенствами : автореферат диссертации ... кандидата физико-математических наук : 01.01.06 / Кожевников Арист Александрович. — Санкт-Петербург, 2007.
    Сайт Санкт-Петербургского отделения Математического института им. В. А.Стеклова РАН. Дата обращения: 31.01.2020.
    Сайт "Лекториум". Дата обращения: 31.01.2020.
    Социальная сеть "ВКонтакте". Дата обращения: 31.01.2020.