Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/42219
Название: | Proof complexity lower bounds of combinatorial principles |
Другие названия: | Нижние оценки сложности вывода комбинаторных принципов |
Авторы: | Ицыксон Дмитрий Михайлович Icykson Dmitrij Mihajlovic Овчаров Сергей Дмитриевич Ovcarov Sergej Dmitrievic Куликов Александр Сергеевич Kulikov Aleksandr Sergeevic |
Дата публикации: | 2023 |
URI (Унифицированный идентификатор ресурса): | http://hdl.handle.net/11701/42219 |
Располагается в коллекциях: | BACHELOR STUDIES |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
st077441.pdf | Article | 515,33 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_Ovcarov___otzyv_rukovoditela.pdf | ReviewSV | 36,85 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.