Поиск
Добавить фильтры:
Используйте фильтры для уточнения результатов поиска.
Найденные ресурсы:
Предварительный просмотр | Дата выпуска | Название | Автор(ы) |
---|---|---|---|
2020 | On proof systems based on binary decision diagrams | Смирнов Петр Юрьевич; Smirnov Petr Urevic | |
2020 | Repeated posted price auctions | Баркарь Алиса Георгиевна; Barkar Alisa Georgievna | |
2020 | Tropical sets in graphs | Вагин Евгений Юрьевич; Vagin Evgenij Urevic | |
2020 | Taut strings accompanying random processes and random walks | Блинова Дарья Игоревна; Blinova Dara Igorevna | |
2020 | On conservativity of pure and weight-exact functors | Соколов Игнат Александрович; Sokolov Ignat Aleksandrovic | |
2020 | Automorphic Hardy classes and logarithmic capacity | Коненков Степан Денисович; Konenkov Stepan Denisovic | |
2020 | Knot transformation graphs | Миллер Алексей Юрьевич; Miller Aleksej Urevic | |
2020 | Algebraic and semi-algebraic proof systems using algebraic circuits | Алексеев Ярослав Юрьевич; Alekseev Aroslav Urevic | |
2020 | New classes of minimal knot diagrams | Алексеев Илья Сергеевич; Alekseev Ila Sergeevic | |
2020 | Asymptotic behavior of Krein system solutions | Губкин Павел Васильевич; Gubkin Pavel Vasilevic |
Просмотр
Тема