Автоматизация логического проектирования : Сборник научных трудов / АН БССР, Ин-т техн. кибернетики; Науч. ред. А.Д. Закревский. - Минск : ИТК, 1982. - 158 с.

Библиогр. в конце работ

Цифровые вычислительные машины - Проектирование - Математические методы Комбинаторика [мат.] - Сборники