Метод синтеза условий выводимости хорновских и некоторых других формул

Предлагается метод алгоритмического получения условий практической выводимости широкого класса первопорядковых формул, а именно выводимости хорновских и некоторых других формул из синтезируемых гипотез при ограниченных ресурсах.
Библиогр. 21.