Материалов:
1 082 141

Репозиториев:
30

Авторов:
761 409

расширенный поиск

Вычисление фундаментальной группы окружности в гомотопической теории типов

Севрунов, Антон Александрович

Дата публикации: 2016

Дата публикации в реестре: 2020-03-13T23:37:09Z

Аннотация:

Текст работы публикуется с изъятиями.

Ключевые слова:
27.27

Тип: Thesis

Связанные документы (рекомендация CORE)

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core