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