Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
Sequential two-level formalization of mathematical theories
доклад на конференции
Автор:
Alexander Kuzichev
Международная Конференция (Конгресс) :
International Congress of Mathematicians 2010
Даты проведения конференции:
19-27 августа 2010
Дата доклада:
22 августа 2010
Тип доклада:
Устный
Докладчик:
Alexander Kuzichev
не указан
Alexander Kuzichev
Место проведения:
Hyderabad (India), India
Добавил в систему:
Кузичев Александр Сергеевич