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

=LDR  00000cx\\a22002653\\45\\
=001  BY-SEK-251492
=005  20200921081709.7
=100  \\$a20090521arusy0201\\\\ca0
=101  \\$arus$aeng
=102  \\$aRU
=120  \\$aba
=152  \\$apsbo$bBY-auth
=106  \\$a0
=200  \1$aНепомнящий$bВ. А.$gВалерий Александрович$cкандидат физико-математических наук$fрод. 1939
=340  \\$aМатематик. Кандидат физико-математических наук, доцент. Заведующий лабораторией теоретического программирования Института систем информатики им. А. П. Ершова Сибирского отделения РАН, г. Новосибирск (информ. на 2020 г.).
=340  \\$aНаучные интересы: верификация распределенных систем; верификация программ; сети Петри; системы анализа и верификации; спецификация программ; семантика программ.
=400  \1$8ruseng$7ca0yba0b$aNepomniaschy$bV. A.$fрод. 1939
=400  \1$8ruseng$7ca0yba0b$aNepomnyashchy$bV. A.$fрод. 1939
=801  \2$aBY$bBY-HM0000$c20200921
=801  \0$aBY$bSEK$c20090521
=810  \\$aИсследование базисов и достаточных классов рекурсивных функций : автореферат диссертации ... кандидата физико-математических наук / Непомнящий Валерий Александрович. — Новосибирск, 1967.
=856  4\$uhttps://pdb.iis.nsk.su/person/338$zСайт Института систем информатики им. А. П. Ершова Сибирского отделения РАН.$zДата обращения: 21.09.2020.
=856  4\$uhttps://elibrary.ru/author_items.asp$zСайт "eLIBRARY.RU".$zДата обращения: 21.09.2020.
=856  4\$uhttp://nlr.ru/e-case3/sc2.php/web_gak/lc/65423/75#pict$zГенеральный алфавитный каталог книг на русском языке (1725–1998) Российской национальной библиотеки.$zИнформация: год рождения.$zДата обращения: 21.09.2020.
=999  \\$g3427 NLB-NDARD$t20200921