Чеботарев А. Н. Метод раздельного резольвирования для проверки выполнимости формул языка "L" / А. Н. Чеботарев // Кибернетика и систем. анализ. - 1998. - № 6. - С. 13-20. - Библиогр.: 5 назв. - рус.
Пропонується удосконалення метода R-резолюцій для перевірки здійсненності множини диз'юнктів у мові першого порядку з одномісними предикатами, що інтерпретуються на множині цілих чисел. Це удосконалення полягає у розбитті множини диз'юнктів на декілька підмножин та забороні резольвування диз'юнктів, які належать до різних підмножин.
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"