Журнал ИМТ
Фрагмент документаЗаголовок
17_0
http://libmeta.ru/resource/imt/seg/17_0
Текст фрагмента
УПРАВЛЕНИЕ КОНВЕЙЕРНО ПАРАЛЛЕЛЬНЫМИ ВЫЧИСЛЕНИЯМИ ПРИ РЕШЕНИИ ЗАДАЧ КАЧЕСТВЕННОГО ИССЛЕДОВАНИЯ ДВОИЧНЫХ ДИНАМИЧЕСКИХ СИСТЕМ НА ОСНОВЕ МЕТОДА БУЛЕВЫХ ОГРАНИЧЕНИЙ
Данные
| hasConfidence | 1.0 |
| hasOrderIndex | 0 |
| wasManuallyVerified | false |
extractedFrom
generatedBy
Входящие связи
← содержит фрагмент · 1