Вид документа : Однотомное издание Шифр издания : АР02-2600 Автор(ы) : Витер Д.А. Заглавие : Примитивно рекурсивная реализуемость и конструктивная теория моделей : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 Выходные данные : М., 2002 Колич.характеристики :12 с. Примечания : В надзаг.: Моск. гос. ун-т им. М. В. Ломоносова, Мех.-мат. фак. Библиогр.: с. 12(4 назв.) ГРНТИ : 27.03.17 + 27.03.19 УДК : 510(043) Экземпляры :ХР(1) Свободны : ХР(1)