IMT journal ConceptSKOS conceptKeyword

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

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

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

← topic · 1

КОНСТРУКТИВНЫЙ ПОДХОД К ПРОВЕРКЕ ИСТИННОСТИ КВАНТИФИЦИРОВАННЫХ БУЛЕВЫХ ФОРМУЛ В…

← keyword · 1

КОНСТРУКТИВНЫЙ ПОДХОД К ПРОВЕРКЕ ИСТИННОСТИ КВАНТИФИЦИРОВАННЫХ БУЛЕВЫХ ФОРМУЛ В…