Сайт бібліотеки  >  Електронний каталог  >  Опис документа

Опис документа

Матросова А. Ю., Останин С. А., Сингх В.
Обнаружение несущественных путей логических схем на основе совместного анализа И-ИЛИ деревьев и SSBDD-ГРАФОВ

Вид документа:  Складова частина документа 
Мова:  Російська  Обсяг:  С. 126-142 

Є складовою частиною документа Автоматика и телемеханика [Текст] : РАН. № 7 / РАН. — М. : Наука, 2013.