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