|
Вид документа : Однотомное издание Шифр издания : АР95-5411
Автор(ы) : Соловьев В.Д.
Заглавие : Функциональные системы рекурсивных функций и предикатов с сильными программными средствами замыкания
: Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 05.13.17
Выходные данные : М., 1995 Колич.характеристики :23 с
Примечания : Библиогр.: с.19-23
ГРНТИ : 28.25 УДК : 519.716(043)
Экземпляры :ХР(1) Свободны : ХР(1)
|
|