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

=LDR  00000cx\\a22002413\\45\\
=001  BY-SEK-1487464
=005  20220708095628.3
=100  \\$a20091209arusy0201\\\\ca0
=101  \\$arus
=102  \\$aRU
=120  \\$aba
=152  \\$apsbo$bBY-auth
=106  \\$a0
=200  \1$aИцыксон$bД. М.$gДмитрий Михайлович$cкандидат физико-математических наук
=340  \\$aКандидат физико-математических наук (2009). Старший научный сотрудник лаборатории математической логики Санкт-Петербургского отделения Математического института им. В. А. Стеклова РАН (ПОМИ РАН), преподаватель Санкт-Петербургского Академического университета им. Ж. И. Алферова РАН (АУ РАН) (информ. 2022 г.).
=340  \\$aОбласть научных интересов: сложность вычислений; математическая логика; криптография; сложность доказательств.
=340  \\$a15 июня 2022 г. защита диссертации на соискание ученой степени доктора физико-математических наук по специальности "01.01.06 – Математическая логика, алгебра и теория чисел".
=801  \2$aBY$bBY-HM0000$c20220707
=801  \0$aBY$bSEK$c20091209
=810  \\$aНижние оценки и вопросы оптимальности для систем доказательств : автореферат диссертации ... доктора физико-математических наук : 01.01.06 / Ицыксон Дмитрий Михайлович. — Санкт-Петербург, 2022.
=856  4\$uhttp://elibrary.ru/defaultx.asp$zНаучная электронная библиотека «eLIBRARY.RU».$zДата обращения: 07.07.2022.
=856  4\$uhttps://compscicenter.ru/teachers/20/$zСайт "Computer Science Center".$zДата обращения: 07.07.2022.
=999  \\$g1438 NLB-NDARD$t20220707