Функциональные системы рекурсивных функций и предикатов с сильными программными средствами замыкания
диссертация ... доктора физико-математических наук : 05.13.17
диссертация ... доктора физико-математических наук : 05.13.17
Казань, 1994
Функциональные системы рекурсивных функций и предикатов с сильными программными средствами замыкания
диссертация ... доктора физико-математических наук : 05.13.17
Казань, 1994
В полном объеме текст документа доступен в электронных читальных залах библиотек-участников НЭБ
Библиографическое описание
Скопировать
Соловьев, В. Д.. Функциональные системы рекурсивных функций и предикатов с сильными программными средствами замыкания : диссертация ... доктора физико-математических наук : 05.13.17. — Казань, 1994. — 200 с..
Детальная информация
Код документа в НЭБ
000199_000009_000168437
Каталог
Автор(ы)
Заглавие
Функциональные системы рекурсивных функций и предикатов с сильными программными средствами замыкания : диссертация . доктора физико-математических наук : 05.13.17
Место издания
Казань
Год издания
1994
Объем
200 с.
ББК
В127,03, В123,03
Язык
Русский
Еще
Ключевые слова
программные средства
Библиотека
LDR
01456nam a2200325 i 4500
001
000168437
003
RuMoRGB
005
20230607114446.0
008
971219s1994 ru |||| m |00 u rus d
017
##
$a: д8719-97
$b: RuMoRGB
$a: д8719-97
$b: RuMoRGB
035
##
$a: (RuMoRGB)DIS-0353153
$a: (RuMoRGB)DIS-0353153
040
##
$a: RuMoRGB
$b: rus
$c: RuMoRGB
$a: RuMoRGB
$b: rus
$c: RuMoRGB
041
##
$a: rus
$a: rus
072
#1
$a: 05.13.17
$a: 05.13.17
084
##
$a: В127,03
$a: В127,03
084
##
$a: В123,03
$a: В123,03
100
1#
$a: Соловьев, В. Д.
$a: Соловьев, В. Д.
245
##
$a: Функциональные системы рекурсивных функций и предикатов с сильными программными средствами замыкания :
$b: диссертация ... доктора физико-математических наук : 05.13.17
$a: Функциональные системы рекурсивных функций и предикатов с сильными программными средствами замыкания :
$b: диссертация ... доктора физико-математических наук : 05.13.17
260
##
$a: Казань
$c: 1994
$a: Казань
$c: 1994
300
##
$a: 200 с.
$a: 200 с.
504
##
$a: Библиогр.: с. 191-200
$a: Библиогр.: с. 191-200
650
#1
$a: Теоретические основы информатики
$a: Теоретические основы информатики
653
##
$a: программные средства
$a: программные средства
787
11
$i: Автореферат
$w: 000133074
$i: Автореферат
$w: 000133074
852
1#
$a: РГБ
$b: OD
$c: HL03
$j: 71 97-1/219
$x: 39
$a: РГБ
$b: OD
$c: HL03
$j: 71 97-1/219
$x: 39
856
11
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01000000000/rsl01000168000/rsl01000168437/rsl01000168437.pdf
$y: Читать
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01000000000/rsl01000168000/rsl01000168437/rsl01000168437.pdf
$y: Читать
LKR
##
$a: PAR
$b: 000133074
$l: RSL01
$m: Диссертация
$n: Автореферат
$a: PAR
$b: 000133074
$l: RSL01
$m: Диссертация
$n: Автореферат
Национальная электронная библиотека (НЭБ) предлагает Вам ознакомиться с подробной информацией о документе: « Функциональные системы рекурсивных функций и предикатов с сильными программными средствами замыкания : диссертация . доктора физико-математических наук : 05.13.17 » , автор — Соловьев В. Д.. Документ был опубликован в 1994 году. Место издания — Казань. Электронный ресурс – электронная копия документа предоставлена в НЭБ библиотекой "Российская государственная библиотека". Фонд библиотеки расположен по адресу: 119019, Москва, ул. Воздвиженка, 3/5. На сайте rusneb.ru Вы можете читать онлайн оцифрованную версию документа « Функциональные системы рекурсивных функций и предикатов с сильными программными средствами замыкания : диссертация . доктора физико-математических наук : 05.13.17 » в удобной системе просмотра документов.