Индуктивный синтез алгоритмов на основе аксиоматических теорий постановок задач: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.01 / Гуторов Дмитрий Анатольевич

Сохранено в:
Шифр документа: 2//72350(039),
Вид документа: Авторефераты диссертаций
Автор: Гуторов, Д. А.
Опубликовано: Москва , 2009
Физические характеристики: 17 с. : ил.
Язык: Русский
Предмет:
00000cam0a2200000 ia4500
001 BY-NLB-br0000425460
005 20091229172855.0
100 # # $a 20091201d2009 k y0rusy50 ca 
101 0 # $a rus 
102 # # $a RU 
105 # # $a a m 000yy 
109 # # $a ac  $a aa 
200 1 # $a Индуктивный синтез алгоритмов на основе аксиоматических теорий постановок задач  $e автореферат диссертации на соискание ученой степени кандидата физико-математических наук  $e 05.13.01  $f Гуторов Дмитрий Анатольевич  $g [Московский физико-технический институт (государственный университет)] 
210 # # $a Москва  $d 2009 
215 # # $a 17 с.  $c ил. 
320 # # $a Библиография: с. 17 (9 назв.) 
606 0 # $3 BY-NLB-ar62889  $a АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ  $2 DVNLB 
606 0 # $3 BY-NLB-ar2145  $a АЛГОРИТМЫ (мат., информатика)  $2 DVNLB 
606 0 # $3 BY-NLB-ar12070  $a ИНФОРМАЦИОННЫЕ СИСТЕМЫ  $2 DVNLB 
606 0 # $3 BY-NLB-ar8757  $a ДЕКОМПОЗИЦИЯ  $2 DVNLB 
686 # # $a 05.13.01  $2 oksvnk 
686 # # $a 28.29.03  $2 rugasnti  $v 6 
700 # 1 $a Гуторов  $b Д. А.  $g Дмитрий Анатольевич 
801 # 0 $a BY  $b BY-HM0000  $c 20091201  $g psbo