Чикина, В. А.2020-07-092020-07-091991Чикина В. А. Декомпозиция уравнений алгебры конечных предикатов методом вспомогательных переменных / В. А. Чикина // Проблемы бионики : республ. межвед. науч.-техн. сб. – Х. : ХГУ, «Вища школа», 1991. – Вып. 46. – С. 33–40.http://openarchive.nure.ua/handle/document/12452Декомпозиция уравнений алгебры конечных предикатов методом вспомогательных переменныхruметод вспомогательных переменныхалгебра конечных предикатовArticle