Просмотр собрания по группе - Авторы Ицыксон Дмитрий Михайлович
Результаты 1 по 2 из 2
Предварительный просмотр | Дата выпуска | Название | Автор(ы) |
---|---|---|---|
2020 | On proof systems based on binary decision diagrams | Смирнов Петр Юрьевич; Smirnov Petr Urevic | |
2023 | Proof complexity lower bounds of combinatorial principles | Овчаров Сергей Дмитриевич; Ovcarov Sergej Dmitrievic |