МЕТОД РЕШЕНИЯ ЛОГИЧЕСКИХ УРАВНЕНИЙ С КОНЕЧНЫМИ БИНАРНЫМИ ОТНОШЕНИЯМИ В ИНФОРМАЦИОННОЙ СИСТЕМЕ Шифр журнала: Ж70474/2011/2 Файл:  soi_2011_2_12.pdf - 0 Дод. точки доступу: Ситникова, П. Э.; Коваленко, А. И.