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