|
СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ
АННОТАЦИИ
Васильев С. Н. Метод синтеза условий выводимости хорновских и некоторых других формул //
Том 38 (1997), Номер 5,
стр. 10341046
Предлагается метод алгоритмического получения условий практической выводимости широкого класса первопорядковых формул, а именно выводимости хорновских и некоторых других формул из синтезируемых гипотез при ограниченных ресурсах. Библиогр.~21.
|
|
© Сибирский Математический Журнал, 2003-2006
|
|