Абстракционные методы повышения эффективности логического вывода : : автореферат дис. ... кандидата физико-математических наук : 05.13.01
Абстракционные методы повышения эффективности логического вывода : : автореферат дис. ... кандидата физико-математических наук : 05.13.01
Санкт-Петербург
Место издания
2001
Год издания
Описание документа
Код документа в НЭБ
000199_000009_002643014
Каталог
Автор
Калинина Т.В.
Заглавие
Абстракционные методы повышения эффективности логического вывода : : автореферат дис. ... кандидата физико-математических наук : 05.13.01
Место издания
Санкт-Петербург
Год издания
2001
Объем
14 с.
Ответственность
С.-Петерб. гос. ун-т
ББК
З813.5,0
Язык
Русский
Еще
Библиотека
017
##
$a: 8003-03
$b: RuMoRGB
$a: 8003-03
$b: RuMoRGB
035
##
$a: (RuMoRGB)DIS-0318743
$a: (RuMoRGB)DIS-0318743
040
##
$a: RuMoRGB
$b: rus
$c: RuMoRGB
$a: RuMoRGB
$b: rus
$c: RuMoRGB
041
##
$a: rus
$a: rus
072
#1
$a: 05.13.01
$2: nsnr
$a: 05.13.01
$2: nsnr
084
##
$a: З813.5,0
$2: rubbk
$a: З813.5,0
$2: rubbk
100
1#
$a: Калинина, Татьяна Викторовна
$a: Калинина, Татьяна Викторовна
245
##
$a: Абстракционные методы повышения эффективности логического вывода :
$b: автореферат дис. ... кандидата физико-математических наук : 05.13.01
$c: С.-Петерб. гос. ун-т
$a: Абстракционные методы повышения эффективности логического вывода :
$b: автореферат дис. ... кандидата физико-математических наук : 05.13.01
$c: С.-Петерб. гос. ун-т
260
##
$a: Санкт-Петербург
$c: 2001
$a: Санкт-Петербург
$c: 2001
300
##
$a: 14 с.
$a: 14 с.
650
#1
$a: Системный анализ, управление и обработка информации (по отраслям)
$2: nsnr
$a: Системный анализ, управление и обработка информации (по отраслям)
$2: nsnr
720
1#
$a: Санкт-Петербургский государственный университет
$a: Санкт-Петербургский государственный университет
852
1#
$a: РГБ
$b: FB
$c: D13N
$j: 9 03-2/1884-3
$x: 90
$a: РГБ
$b: FB
$c: D13N
$j: 9 03-2/1884-3
$x: 90
979
##
$a: autoref
$b: Каталог авторефератов диссертаций
$c: rgb
$a: autoref
$b: Каталог авторефератов диссертаций
$c: rgb