Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/39932
Название: | Powers of two and real-integer linear quantifier elimination |
Другие названия: | Степени двойки и вещественно-целочисленная линейная элиминация кванторов |
Авторы: | Зимин Григорий Александрович Zimin Grigorij Aleksandrovic Мишуров Илья Дмитриевич Misurov Ila Dmitrievic Косовская Татьяна Матвеевна Kosovskaa Tatana Matveevna |
Дата публикации: | 2022 |
URI (Унифицированный идентификатор ресурса): | http://hdl.handle.net/11701/39932 |
Располагается в коллекциях: | BACHELOR STUDIES |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
VKR_Misurov.pdf | Article | 122,33 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_Otzyv.doc | ReviewSV | 59,5 kB | Microsoft Word | Просмотреть/Открыть |
reviewSV_st063350_Misurov_Ila_Dmitrievic_(supervisor)(Ru).txt | ReviewSV | 4,56 kB | Text | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.