Просмотр собрания по группе - Авторы Ovcarov Sergej Dmitrievic
Результаты 1 по 1 из 1
Предварительный просмотр | Дата выпуска | Название | Автор(ы) |
---|---|---|---|
2023 | Proof complexity lower bounds of combinatorial principles | Овчаров Сергей Дмитриевич; Ovcarov Sergej Dmitrievic |