|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Алгоритмическая сложность фрагментов исчисления Ламбекадиссертация
- Научный руководитель: Пентус М.Р.
- Автор: Саватеев Юрий Вячеславович
- Год защиты: 2009
- Шифр диссертационного совета: Д 501.001.84
- Организация: МГУ имени М.В. Ломоносова
- Область знаний: Физика и математика
- Специальность: 01.01.06 - Математическая логика, алгебра и теория чисел
- Тип диссертации: Кандидатская
- Добавил в систему: Пентус Мати Рейнович