IMT journal
Document segmentKeyword list
18_2
http://libmeta.ru/resource/imt/seg/18_2
Fragment text
двоичная динамическая система; булева модель; параллельный 2qbf решатель; качественный анализ
Данные
| hasConfidence | 1.0 |
| hasOrderIndex | 2 |
| wasManuallyVerified | false |
extractedFrom
generatedBy
mentions concept
Входящие связи