Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/30018
Название: | Simulations between proof systems |
Другие названия: | Сводимости систем доказательств |
Авторы: | Парт Фёдор Александрович Part Fedor Aleksandrovic Гаевой Никита Сергеевич Gaevoj Nikita Sergeevic Гирш Эдуард Алексеевич Girs Eduard Alekseevic |
Дата публикации: | 2021 |
URI (Унифицированный идентификатор ресурса): | http://hdl.handle.net/11701/30018 |
Располагается в коллекциях: | MASTER'S STUDIES |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
main.pdf | Article | 345,75 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_4_5913500020413303481.pdf | ReviewSV | 98,35 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.