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