Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: 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.pdfArticle345,75 kBAdobe PDFПросмотреть/Открыть
reviewSV_4_5913500020413303481.pdfReviewSV98,35 kBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.