Полное описание
> Groote, J. F. Resolution and binary decision diagrams connot simulate each other polynomially / J.F.Groote,H.Zantema. - Amsterdam : [s. n.], 2000. - 12 p. : ill. - (Report:Software engineering / CWI ; SEN-R0009). - Текст : непосредственный.
Библиогр.:с.12
ГРНТИ | УДК | |
50.09.29 | 004.312'12 |
Рубрики:
Интегральные схемы цифровые -- Проектирование -- Автоматизация
Доп. точки доступа:
Zantema, H.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/17937/SEN-R0009)>
Шифр в сводном ЭК: 27d55bc8afa701ba043eb79cefc2c44d
Заказ фрагмента документа ₽