|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Формальная арифметика в РП-системе λ-конверсиидипломная работа (Специалист)
- Научный руководитель: Кузичев Александр Сергеевич
- Автор: Герасимов Роман Петрович
- Тип: Специалист
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова
- Год защиты: 1986
- Добавил в систему: Кузичев Александр Сергеевич