Просмотр собрания по группе - Авторы Gaevoj Nikita Sergeevic
Результаты 1 по 1 из 1
Предварительный просмотр | Дата выпуска | Название | Автор(ы) |
---|---|---|---|
2021 | Simulations between proof systems | Гаевой Никита Сергеевич; Gaevoj Nikita Sergeevic |