TY  - BOOK
AU  - Заикин,Олег Сергеевич
TI  - Параллельная технология решения SAT-задач и ее реализация в виде пакета прикладных программ: автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
PY  - 2009///
CY  - Томск
PB  - [б. и.]
KW  - Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации)
KW  - nsnr
KW  - авторефераты диссертаций
N1  - Библиогр.: с. 18-19; Предоставл. автором. Проверка  на идентичность электронного и печатного изданий не проводилась
UR  - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000340386
ER  -