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