Проблема эквивалентности программ: модели, алгоритмы, сложность: автореферат диссертации на соискание ученой степени доктора физико-математических наук: специальность 01.01.09 Дискретная математика и математическая кибернетика / Захаров Владимир Анатольевич

Сохранено в:
Шифр документа: 2//125376(039),
Вид документа: Авторефераты диссертаций
Автор: Захаров, В. А.
Опубликовано: Москва , 2011
Физические характеристики: 42 с.
Язык: Русский
Предмет:
00000cam0a2200000 ia4500
001 BY-NLB-br0000732531
005 20120312151700.0
100 # # $a 20120105d2011 k y0rusy50 ca 
101 0 # $a rus 
102 # # $a RU 
105 # # $a y m 000yy 
109 # # $a ac  $a aa 
200 1 # $a Проблема эквивалентности программ: модели, алгоритмы, сложность  $e автореферат диссертации на соискание ученой степени доктора физико-математических наук  $e специальность 01.01.09 Дискретная математика и математическая кибернетика  $f Захаров Владимир Анатольевич  $g Московский государственный университет им. М. В. Ломоносова, Факультет вычислительной математики и кибернетики 
210 # # $a Москва  $d 2011 
215 # # $a 42 с. 
320 # # $a Библиография: с. 35—42 (60 назв.) 
606 0 # $3 BY-NLB-ar9409  $a ДИСКРЕТНАЯ МАТЕМАТИКА  $2 DVNLB 
606 0 # $3 BY-NLB-ar2182466  $a ЭКВИВАЛЕНТНОСТЬ (мат.)  $2 DVNLB 
606 0 # $3 BY-NLB-ar17280  $a МАТЕМАТИЧЕСКИЕ МОДЕЛИ  $2 DVNLB 
606 0 # $3 BY-NLB-ar1707994  $a СЛОЖНОСТЬ (мат.)  $2 DVNLB 
606 0 # $3 BY-NLB-ar2841121  $a АЛГОРИТМИЧЕСКАЯ СЛОЖНОСТЬ  $2 DVNLB 
606 0 # $3 BY-NLB-ar2867449  $a ЗАДАЧА О ВЫПОЛНИМОСТИ  $2 DVNLB 
686 # # $a 01.01.09  $2 oksvnk 
686 # # $a 27.45  $2 rugasnti  $v 6 
686 # # $a 27.47  $2 rugasnti  $v 6 
700 # 1 $3 BY-SEK-904803  $a Захаров  $b В. А.  $g Владимир Анатольевич  $c кандидат физико-математических наук 
801 # 0 $a BY  $b BY-HM0000  $c 20120105  $g psbo