Дедуктивный анализ и диагностирование логических x-функций - Хаханов, В. И.; Емельянов, И. В.; Любарский, М. М.; Чумаченко, С. В.; Литвинова, Е. И.; Ларченко, Л. В. (Харьковский национальный университет радиоэлектроники, 2018)