|
|
|
|
|
00000cam0a22000004ia4500 |
001 |
BY-NLB-br251268 |
005 |
20120824161207.0 |
100 |
# |
# |
$a 20000317d1999 u y0rusy50 ||||ca
|
101 |
0 |
# |
$a rus
|
105 |
# |
# |
$a y m 001yy
|
109 |
# |
# |
$a ac
$a aa
|
200 |
1 |
# |
$a Алгоритмы выводимости в рациональнозначных логиках для представления знаний
$e Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук
$e 05.13.17
$f С.-Петерб. гос. ун-т
|
210 |
# |
# |
$a СПб.
$d 1999
|
215 |
# |
# |
$a 14 с.
|
300 |
# |
# |
$a Библиогр.: c. 14 (9 назв.)
|
606 |
0 |
# |
$3 BY-NLB-ar5221783
$a ЛИНЕЙНЫЕ НЕРАВЕНСТВА
$2 DVNLB
|
610 |
0 |
# |
$a Экспертные знания
|
610 |
0 |
# |
$a РАЦИОНАЛЬНОЗНАЧИМЫЕ ЛОГИКИ
|
610 |
0 |
# |
$a СЕКВЕНЦИАЛЬНЫЕ ИСЧИСЛЕНИЯ
|
610 |
0 |
# |
$a ДВУЗНАЧНЫЕ ЛОГИКИ
|
610 |
0 |
# |
$a Экспертныя веды
|
610 |
0 |
# |
$a РАЦЫЯНАЛЬНАЗНАЧНЫЯ ЛОГІКІ
|
610 |
0 |
# |
$a СЕКВЕНЦЫЯЛЬНЫЯ ВЫЛІЧЭННІ
|
610 |
0 |
# |
$a ДВУХЗНАЧНЫЯ ЛОГІКІ
|
686 |
# |
# |
$a 27.03.19
$2 rugasnti
|
686 |
# |
# |
$a 20.01.07
$2 rugasnti
|
686 |
# |
# |
$a 05.13.17
$2 oksvnk
|
700 |
# |
1 |
$3 BY-SEK-468646
$a Тишков
$b А. В.
$g Арьем Валерьевич
|
801 |
# |
0 |
$a BY
$b BY-HM0000
$c 20000317
$g psbo
|
801 |
# |
1 |
$a BY
$b BY-HM0000
$c 20060316
$g psbo
|