18_2 · LibMeta · SciLib
Журнал ИМТ Фрагмент документаКлючевые слова

18_2

http://libmeta.ru/resource/imt/seg/18_2

Текст фрагмента

двоичная динамическая система; булева модель; параллельный 2qbf решатель; качественный анализ

Данные

hasConfidence1.0
hasOrderIndex2
wasManuallyVerifiedfalse

extractedFrom

18

generatedBy