Журнал ИМТ
Фрагмент документаКлючевые слова
49_2
http://libmeta.ru/resource/imt/seg/49_2
Текст фрагмента
двоичная динамическая система; булева модель; параллельный qbf решатель; качественный анализ
Данные
| hasConfidence | 1.0 |
| hasOrderIndex | 2 |
| wasManuallyVerified | false |
extractedFrom
generatedBy
упоминает понятие
Входящие связи
← содержит фрагмент · 1