ISSN: 2310-757X
Please use this identifier to cite or link to this item:
http://elar.urfu.ru/handle/10995/84648| Title: | Синхронизация частичных и недетерминированных автоматов: подход на основе sat-решателей : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.17 |
| Authors: | Шабана, Х. М. Д. |
| metadata.dc.contributor.advisor: | Волков, М. В. |
| Issue Date: | 2020 |
| Publisher: | б. и. |
| Citation: | Шабана Х. М. Д. Синхронизация частичных и недетерминированных автоматов: подход на основе sat-решателей : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.17 / Х. М. Д. Шабана ; [Место защиты: Уральский федеральный университет им. первого Президента России Б.Н. Ельцина]. — Екатеринбург, 2020. — 18 с. — Библиогр.: с. 16-18 (24 назв.). |
| Keywords: | NONDETERMINISTIC AUTOMATON RANDOM AUTOMATON SAT SATSOLVER АВТОРЕФЕРАТЫ ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ИНФОРМАТИКИ |
| OKSVNK: | 05.13.17 |
| Thesis discipline: | Теоретические основы информатики |
| URI: | http://elar.urfu.ru/handle/10995/84648 |
| Access: | Предоставлено автором на условиях простой неисключительной лицензии |
| License text: | http://elar.urfu.ru/handle/10995/31613 |
| Appears in Collections: | Авторефераты и диссертации |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| urfu2147.pdf | 293,04 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.