IMT journal ConceptSKOS conceptKeyword

параллельный qbf решатель

http://libmeta.ru/resource/imt/kw_690177699

Входящие связи

← topic · 1

ПАРАЛЛЕЛЬНАЯ РЕАЛИЗАЦИЯ ЛОГИЧЕСКОГО МЕТОДА РЕШЕНИЯ ЗАДАЧ КАЧЕСТВЕННОГО АНАЛИЗА …

← keyword · 1

ПАРАЛЛЕЛЬНАЯ РЕАЛИЗАЦИЯ ЛОГИЧЕСКОГО МЕТОДА РЕШЕНИЯ ЗАДАЧ КАЧЕСТВЕННОГО АНАЛИЗА …