|
|
|
|
|
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
|