Ինֆորմատիկա
Исследование функциональных свойств логических схем и применение его результатов в системах автоматизированного проектирования