Доценко, В. А.2024-04-152024-04-152007Доценко, В. А. Конструктивний алгоритм зворотного методу для числення висловлювань / Доценко В. А. // Системні дослідження та інформаційні технології : міжнародний науково-технічний журнал. – 2007. – № 2. – С. 59-73. – Бібліогр.: 7 назв.1681–6048https://ela.kpi.ua/handle/123456789/66160Розглядається загальна схема зворотного методу С.Ю. Маслова для числення висловлювань. Описано низку евристичних стратегій і правил виведення скорочення перебору. Сформульовано конструктивний алгоритм зворотного методу для числення висловлювань.ukArticlePp. 59-73681:519.68