TY  - BOOK
AU  - Закревский,Аркадий Дмитриевич
TI  - Автоматизация логического проектирования: сборник научных трудов
PY  - 1982///
CY  - Минск
PB  - ИТК
KW  - Цифровые вычислительные машины - Проектирование - - Математические методы
KW  - Комбинаторика [мат.] - Сборники
N1  - Библиогр. в конце работ
ER  -