Функциональные системы рекурсивных функций и предикатов с сильными программными средствами замыкания
автореферат дис. ... доктора физико-математических наук : 05.13.17
автореферат дис. ... доктора физико-математических наук : 05.13.17
Москва, 1995
Функциональные системы рекурсивных функций и предикатов с сильными программными средствами замыкания
автореферат дис. ... доктора физико-математических наук : 05.13.17
Москва, 1995
Библиографическое описание
Скопировать
Соловьев, Валерий Дмитриевич. Функциональные системы рекурсивных функций и предикатов с сильными программными средствами замыкания : автореферат дис. ... доктора физико-математических наук : 05.13.17 / Казанский гос. ун-т. — Москва, 1995. — 23 с..
Детальная информация
Код документа в НЭБ
000199_000009_000133074
Каталог
Автор(ы)
Заглавие
Функциональные системы рекурсивных функций и предикатов с сильными программными средствами замыкания : автореферат дис. доктора физико-математических наук : 05.13.17
Место издания
Москва
Год издания
1995
Объем
23 с.
Ответственность
Казанский гос. ун-т
ББК
В127,03, В123,03
Язык
Русский
Еще
Библиотека
LDR
01554nam a2200337 i 4500
001
000133074
003
RuMoRGB
005
20071026120000.0
008
951209s1995 ru |||| a |00 u rus d
017
##
$a: 95-6102А
$b: RuMoRKP
$a: 95-6102А
$b: RuMoRKP
017
##
$a: 96-320А
$b: RuMoRKP
$a: 96-320А
$b: RuMoRKP
035
##
$a: (RuMoRGB)DIS-0133094
$a: (RuMoRGB)DIS-0133094
040
##
$a: RuMoRGB
$b: rus
$c: RuMoRGB
$a: RuMoRGB
$b: rus
$c: RuMoRGB
041
##
$a: rus
$a: rus
072
#1
$a: 05.13.17
$2: nsnr
$a: 05.13.17
$2: nsnr
084
##
$a: В127,03
$2: rubbk
$a: В127,03
$2: rubbk
084
##
$a: В123,03
$2: rubbk
$a: В123,03
$2: rubbk
100
1#
$a: Соловьев, Валерий Дмитриевич
$a: Соловьев, Валерий Дмитриевич
245
##
$a: Функциональные системы рекурсивных функций и предикатов с сильными программными средствами замыкания :
$b: автореферат дис. ... доктора физико-математических наук : 05.13.17
$c: Казанский гос. ун-т
$a: Функциональные системы рекурсивных функций и предикатов с сильными программными средствами замыкания :
$b: автореферат дис. ... доктора физико-математических наук : 05.13.17
$c: Казанский гос. ун-т
260
##
$a: Москва
$c: 1995
$a: Москва
$c: 1995
300
##
$a: 23 с.
$a: 23 с.
650
#1
$a: Теоретические основы информатики
$2: nsnr
$a: Теоретические основы информатики
$2: nsnr
787
11
$w: 000168437
$i: Диссертация
$w: 000168437
$i: Диссертация
852
1#
$a: РГБ
$b: FB
$c: D13N
$j: 9 95-3/992-1
$x: 90
$a: РГБ
$b: FB
$c: D13N
$j: 9 95-3/992-1
$x: 90
852
1#
$a: РГБ
$b: FB
$c: T026
$j: 9 95-3/993-x
$x: 82
$a: РГБ
$b: FB
$c: T026
$j: 9 95-3/993-x
$x: 82
852
1#
$a: РГБ
$b: FB
$c: D13N
$j: 9 96-1/616-0
$x: 90
$a: РГБ
$b: FB
$c: D13N
$j: 9 96-1/616-0
$x: 90
852
1#
$a: РГБ
$b: FB
$c: T026
$j: 9 96-1/617-9
$x: 82
$a: РГБ
$b: FB
$c: T026
$j: 9 96-1/617-9
$x: 82
856
11
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01000000000/rsl01000133000/rsl01000133074/rsl01000133074.pdf
$y: Читать
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01000000000/rsl01000133000/rsl01000133074/rsl01000133074.pdf
$y: Читать
Национальная электронная библиотека (НЭБ) предлагает Вам ознакомиться с подробной информацией о документе: « Функциональные системы рекурсивных функций и предикатов с сильными программными средствами замыкания : автореферат дис. доктора физико-математических наук : 05.13.17 » , автор — Соловьев В.Д.. Документ был опубликован в 1995 году. Место издания — Москва. Электронный ресурс – электронная копия документа предоставлена в НЭБ библиотекой "Российская государственная библиотека". Фонд библиотеки расположен по адресу: 119019, Москва, ул. Воздвиженка, 3/5. На сайте rusneb.ru Вы можете читать онлайн оцифрованную версию документа « Функциональные системы рекурсивных функций и предикатов с сильными программными средствами замыкания : автореферат дис. доктора физико-математических наук : 05.13.17 » в удобной системе просмотра документов. Документ также доступен для скачивания в форматах: pdf.