Автоматизация решения логико-комбинаторных задач :  Сборник научных трудов / 
АН БССР, Ин-т техн. кибернетики; Науч. ред. А.Д. Закревский. 
 - Минск :  ИТК,  1985. 
 - 153 с. :  черт. ;  21 см. 
 - 681.3 (NLA) .
<br/><br/>Библиогр. в конце ст. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Вычислительные машины --Автоматизация<br/>Логическое проектирование, автоматизированное--Дискретные устройства<br/>Программирование--Логическое проектирование, автоматизированное
<br/><br/><label>Universal Decimal Class. No.: </label>681.3 (NLA)