Абстракционные методы повышения эффективности логического вывода Автореф. дис. на соиск. учен. степ. к.ф.-м.н. Спец. 05.13.01
Абстракционные методы повышения эффективности логического вывода Автореф. дис. на соиск. учен. степ. к.ф.-м.н. Спец. 05.13.01
В полном объеме текст документа доступен в электронных читальных залах библиотек-участников НЭБ
Санкт-Петербург
Место издания
2001
Год издания
Описание документа
Код документа в НЭБ
000200_000018_RU_NLR_bibl_542442
Каталог
Автор
Калинина Татьяна Викторовна
Заглавие
Абстракционные методы повышения эффективности логического вывода Автореф. дис. на соиск. учен. степ. к.ф.-м.н. Спец. 05.13.01
Место издания
Санкт-Петербург
Год издания
2001
Объем
14 с.
Язык
Русский
Еще
Библиотека
100
##
$a: 20040730d2001 |||y0rusy0150 ca
$a: 20040730d2001 |||y0rusy0150 ca
101
##
$a: rus
$a: rus
102
##
$a: RU
$a: RU
105
##
$a: y dm |||||
$a: y dm |||||
200
1#
$a: Абстракционные методы повышения эффективности логического вывода
$e: Автореф. дис. на соиск. учен. степ. к.ф.-м.н.
$e: Спец. 05.13.01
$f: Калинина Татьяна Викторовна
$g: С.-петерб. гос. ун-т
$a: Абстракционные методы повышения эффективности логического вывода
$e: Автореф. дис. на соиск. учен. степ. к.ф.-м.н.
$e: Спец. 05.13.01
$f: Калинина Татьяна Викторовна
$g: С.-петерб. гос. ун-т
210
##
$a: СПб.
$d: 2001
$a: СПб.
$d: 2001
215
##
$a: 14 с.
$d: 21
$a: 14 с.
$d: 21
320
##
$a: Библиогр.: с.14 (4 назв.)
$a: Библиогр.: с.14 (4 назв.)
325
##
$a: Копия доступна в Электрон. б-ке РНБ http://vivaldi.nlr.ru/bd000105399/view
$a: Копия доступна в Электрон. б-ке РНБ http://vivaldi.nlr.ru/bd000105399/view
686
##
$a: 05.13.01
$2: oksvnk
$a: 05.13.01
$2: oksvnk
700
#1
$a: Калинина
$b: Т. В.
$g: Татьяна Викторовна
$a: Калинина
$b: Т. В.
$g: Татьяна Викторовна
801
##
$a: RU
$b: NLR
$c: 20040730
$g: PSBO
$a: RU
$b: NLR
$c: 20040730
$g: PSBO
801
#1
$a: RU
$b: NLR
$c: 20040730
$a: RU
$b: NLR
$c: 20040730
856
##
$u: https://vivaldi.nlr.ru/bd000105399/view
$u: https://vivaldi.nlr.ru/bd000105399/view
856
#1
$u: https://vivaldi.nlr.ru/bd000105399/cover
$u: https://vivaldi.nlr.ru/bd000105399/cover
856
#1
$u: https://vivaldi.nlr.ru/bd000105399/text
$u: https://vivaldi.nlr.ru/bd000105399/text
901
1#
$a: Авторефераты
$b: 05.00.00 Технические науки
$b: 05.13.00 Информатика, вычислительная техника и управление
$b: 05.13.01 Системный анализ, управление и обработка информации( по отраслям)
$a: Авторефераты
$b: 05.00.00 Технические науки
$b: 05.13.00 Информатика, вычислительная техника и управление
$b: 05.13.01 Системный анализ, управление и обработка информации( по отраслям)
901
##
$a: bd000105399
$d: 20100418092200
$x: ARD11
$a: bd000105399
$d: 20100418092200
$x: ARD11
983
##
$a: РГ СОВ
$a: РГ СОВ