Логическое исчисление позитивно-образованных формул, его свойства и применение: Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук: 01.01.09 / Ин-т динамики систем и теории управления СО РАН

Сохранено в:
Шифр документа: 2Ад35559,
Вид документа: Авторефераты диссертаций
Автор: Жерлов, А. К.
Опубликовано: Иркутск , 1999
Физические характеристики: 22 с.
Язык: Русский
Предмет:
00000cam0a22000004ia4500
001 BY-NLB-br175158
005 20070615190845.8
100 # # $a 19990604d1999 u y0rusy50 ca 
101 0 # $a rus 
105 # # $a y m 001yy 
109 # # $a aa  $a ac 
200 1 # $a Логическое исчисление позитивно-образованных формул, его свойства и применение  $e Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук  $e 01.01.09  $f Ин-т динамики систем и теории управления СО РАН 
210 # # $a Иркутск  $d 1999 
215 # # $a 22 с. 
300 # # $a Библиогр.: с. 20-22 (11 назв.) 
606 0 # $3 BY-NLB-ar12470  $a ИСЧИСЛЕНИЕ  $2 DVNLB 
606 0 # $3 BY-NLB-ar16568  $a ЛОГИКА  $2 DVNLB 
606 0 # $3 BY-NLB-ar12471  $a ВЫЛІЧЭННЕ  $2 DVNLB 
606 0 # $3 BY-NLB-ar17311  $a МАТЭМАТЫЧНАЯ КІБЕРНЕТЫКА  $2 DVNLB 
606 0 # $3 BY-NLB-ar16569  $a ЛОГІКА  $2 DVNLB 
606 0 # $3 BY-NLB-ar12253  $a ШТУЧНЫ ІНТЭЛЕКТ  $2 DVNLB 
606 0 # $3 BY-NLB-ar17310  $a МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА  $2 DVNLB 
606 0 # $3 BY-NLB-ar12252  $a ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ  $2 DVNLB 
606 0 # $3 BY-NLB-ar43766  $a КВАНТОРЫ  $2 DVNLB 
606 0 # $3 BY-NLB-ar43767  $a КВАНТАРЫ  $2 DVNLB 
686 # # $a 27.47.23  $2 rugasnti 
686 # # $a 01.01.09  $2 oksvnk 
700 # 1 $3 BY-SEK-460349  $a Жерлов  $b А. К.  $g Александр Константинович 
801 # 0 $a BY  $b BY-HM0000  $c 19990604  $g psbo 
801 # 1 $a BY  $b BY-HM0000  $c 20060316  $g psbo