Семантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование: автореферат диссертации на соискание ученой степени доктора физико-математических наук: 05.13.17 / Дехтярь Михаил Иосифович

Сохранено в:
Шифр документа: 2//71846(039),
Вид документа: Авторефераты диссертаций
Автор: Дехтярь, М. И.
Опубликовано: Переславль-Залесский , 2009
Физические характеристики: 35 с.
Язык: Русский
Предмет:
00000cam0a2200000 ia4500
001 BY-NLB-br0000423827
005 20091216094638.0
100 # # $a 20091125d2009 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 05.13.17  $f Дехтярь Михаил Иосифович  $g [Тверской государственный университет] 
210 # # $a Переславль-Залесский  $d 2009 
215 # # $a 35 с. 
320 # # $a Библиография: с. 30—35 (49 назв.) 
606 0 # $3 BY-NLB-ar16600  $a ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ  $2 DVNLB 
606 0 # $3 BY-NLB-ar12062  $a ИНФОРМАТИКА  $2 DVNLB 
606 0 # $3 BY-NLB-ar28083  $a РЕЛЯЦИОННЫЕ БАЗЫ ДАННЫХ  $2 DVNLB 
606 0 # $3 BY-NLB-ar9299  $a ДИНАМИЧЕСКИЕ СИСТЕМЫ  $2 DVNLB 
606 0 # $3 BY-NLB-ar40089  $a ЯЗЫКИ ПРОГРАММИРОВАНИЯ  $2 DVNLB 
686 # # $a 05.13.17  $2 oksvnk 
686 # # $a 50.05.03  $2 rugasnti  $v 6 
686 # # $a 50.05.09  $2 rugasnti  $v 6 
700 # 1 $3 BY-SEK-1473569  $a Дехтярь  $b М. И.  $g Михаил Иосифович 
801 # 0 $a BY  $b BY-HM0000  $c 20091125  $g psbo