Ситник Лариса Григорівна. Методи логічного синтезу багатозначних оборотних неоднорідних модулів та їх застосування в системах штучного інтелекту : Дис... канд. наук: 05.13.23 - 2010.