Please use this identifier to cite or link to this item:
http://hdl.handle.net/11701/39932
Title: | Powers of two and real-integer linear quantifier elimination |
Other Titles: | Степени двойки и вещественно-целочисленная линейная элиминация кванторов |
Authors: | Зимин Григорий Александрович Zimin Grigorij Aleksandrovic Мишуров Илья Дмитриевич Misurov Ila Dmitrievic Косовская Татьяна Матвеевна Kosovskaa Tatana Matveevna |
Issue Date: | 2022 |
URI: | http://hdl.handle.net/11701/39932 |
Appears in Collections: | BACHELOR STUDIES |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
VKR_Misurov.pdf | Article | 122,33 kB | Adobe PDF | View/Open |
reviewSV_Otzyv.doc | ReviewSV | 59,5 kB | Microsoft Word | View/Open |
reviewSV_st063350_Misurov_Ila_Dmitrievic_(supervisor)(Ru).txt | ReviewSV | 4,56 kB | Text | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.