Просмотр собрания по группе - Авторы Мишуров Илья Дмитриевич
Результаты 1 по 1 из 1
Предварительный просмотр | Дата выпуска | Название | Автор(ы) |
---|---|---|---|
2022 | Powers of two and real-integer linear quantifier elimination | Мишуров Илья Дмитриевич; Misurov Ila Dmitrievic |