Показать сокращенную информацию
dc.contributor.author | Андреев, Игорь Николаевич | |
dc.date.accessioned | 2013-08-19T06:44:56Z | |
dc.date.available | 2013-08-19T06:44:56Z | |
dc.date.issued | 2013-08-19 | |
dc.identifier.uri | https://lib.nsu.ru/xmlui/handle/nsu/529 | |
dc.description | Работа выполнена в Институте систем информатики СО РАН | ru_RU |
dc.language.iso | ru | ru_RU |
dc.title | Разработка и реализация решателя квантифицированных булевых формул на графическом процессоре | ru_RU |
dc.type | Dissertation | ru_RU |
nsu-diss.head | Шилов Николай Вячеславович - к. ф.-м. н., с. н. с. ИСИ СО РАН | ru_RU |
nsu-diss.workorganisation | ФИТ НГУ, Кафедра систем информатики |