Автоматизация логического проектирования : Сб. науч. тр. / [Науч. ред. А. Д. Закревский] ; АН БССР, Ин-т техн. кибернетики. - Минск : ИТК, 1982. - 158 с. Subjects--Index Terms: ციფრული გამოთვლითი მანქანები კომბინატორიკა ავტომატიზაცია Universal Decimal Class. No.: 004.312