О сложностных характеристиках выводов в некоторых логических исчислениях
О сложностных характеристиках выводов в некоторых логических исчислениях
Ереван
Место издания
1977
Год издания
Описание документа
Код документа в НЭБ
000199_000009_009425863
Каталог
Автор
Чубарян Анаит Арташесовна
Заглавие
О сложностных характеристиках выводов в некоторых логических исчислениях
Место издания
Ереван
Год издания
1977
Библиотека
017
##
$a: д3539-79
$b: RuMoRGB
$a: д3539-79
$b: RuMoRGB
040
##
$a: RuMoRGB
$b: rus
$c: RuMoRGB
$a: RuMoRGB
$b: rus
$c: RuMoRGB
041
##
$a: rus
$a: rus
072
#1
$a: 01.01.09
$2: nsnr
$a: 01.01.09
$2: nsnr
084
##
$a: В123,03
$2: rubbk
$a: В123,03
$2: rubbk
100
1#
$a: Чубарян, Анаит Арташесовна
$a: Чубарян, Анаит Арташесовна
245
##
$a: О сложностных характеристиках выводов в некоторых логических исчислениях :
$b: диссертация ... кандидата физико-математических наук : 01.01.09
$a: О сложностных характеристиках выводов в некоторых логических исчислениях :
$b: диссертация ... кандидата физико-математических наук : 01.01.09
260
##
$a: Ереван
$c: 1977
$a: Ереван
$c: 1977
300
##
$a: 79 с.
$a: 79 с.
504
##
$a: Библиогр.: с. 76-79
$a: Библиогр.: с. 76-79
650
#1
$a: Математическая кибернетика
$2: nsnr
$a: Математическая кибернетика
$2: nsnr
787
11
$w: 007806112
$i: Автореферат
$w: 007806112
$i: Автореферат
852
1#
$a: РГБ
$b: OD
$j: Дк 79-1/492
$x: 81
$a: РГБ
$b: OD
$j: Дк 79-1/492
$x: 81
979
##
$a: disser
$b: Каталог диссертаций
$c: rgb
$a: disser
$b: Каталог диссертаций
$c: rgb
LKR
##
$a: PAR
$l: RSL01
$b: 007806112
$m: Диссертация
$n: Автореферат
$a: PAR
$l: RSL01
$b: 007806112
$m: Диссертация
$n: Автореферат