Алгоритмы решения логико-комбинаторных задач :  Сборник научных трудов / 
АН БССР, Ин-т техн. кибернетики ; [Науч. ред. А.Д. Закревский]. 
 - Минск :  Ин-та технической кибернетики АН Белорусской ССР,  1980. 
 - 137 с. ;  20 см. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>ЛЯПАС - Сборники<br/>Цифровые автоматы - Синтез - Сборники