Автоматизация решения логико-комбинаторных задач :  Сборник науч. трудов / 
АН Белор. ССР. Ин-т техн. кибернетики. 
 - Минск,  1985. 
 - 154 с. 
<br/><br/>Библиогр. в конце статей. 
<br/><br/><label>Subjects--Index Terms: </label>მათემატიკური ლოგიკა ავტომატიზაცია 
<br/><br/><label>Universal Decimal Class. No.: </label>510.6