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

=LDR  00000cx\\a22002533\\45\\
=001  BY-SEK-883278
=005  20200131104628.0
=100  \\$a20090520arusy0201\\\\ca0
=101  \\$arus$aeng
=102  \\$aRU
=120  \\$aba
=152  \\$apsbo$bBY-auth
=106  \\$a0
=200  \1$aКожевников$bА. А.$gАрист Александрович$cкандидат физико-математических наук
=340  \\$aМатематик. Кандидат физико-математических наук. Выпускник Санкт-Петербургского государственного университета (2003). Младший научный сотрудник лаборатории математической логики Санкт-Петербургского отделения Математического института им. В. А.Стеклова РАН, одновременно системный инженер корпорации "Intel Mobile Communications GmbH" (информ. на 2020 г.).
=340  \\$aНаучные интересы: доказательство сложности; точные алгоритмы; алгоритмы для SAT.
=400  \1$8ruseng$7ca0yba0b$aKojevnikov$bA.$gArist$cкандидат физико-математических наук
=801  \2$aBY$bBY-HM0000$c20200131
=801  \0$aBY$bSEK$c20090520
=810  \\$aСложность пропозиционных систем доказательств, оперирующих неравенствами : автореферат диссертации ... кандидата физико-математических наук : 01.01.06 / Кожевников Арист Александрович. — Санкт-Петербург, 2007.
=856  4\$uhttp://www.pdmi.ras.ru/ru/perso/kozhevnikov.php$zСайт Санкт-Петербургского отделения Математического института им. В. А.Стеклова РАН.$zДата обращения: 31.01.2020.
=856  4\$uhttps://www.lektorium.tv/speaker/2793$zСайт "Лекториум".$zДата обращения: 31.01.2020.
=856  4\$uhttps://vk.com/aristk$zСоциальная сеть "ВКонтакте".$zДата обращения: 31.01.2020.
=999  \\$g3427 NLB-NDARD$t20200131