Сибирский математический журнал
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Сиб. матем. журн.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Сибирский математический журнал, 1997, том 38, номер 5, страницы 1034–1046 (Mi smj338)  
Эта публикация цитируется в 15 научных статьях (всего в 15 статьях)

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

С. Н. Васильев
PDF полного текста (1618 kB) Список цитирования (15)
Аннотация: Предлагается метод алгоритмического получения условий практической выводимости широкого класса первопорядковых формул, а именно выводимости хорновских и некоторых других формул из синтезируемых гипотез при ограниченных ресурсах.
Библиогр. 21.
Статья поступила: 30.01.1996
Англоязычная версия:
Siberian Mathematical Journal, 1997, Volume 38, Issue 5, Pages 896–906
DOI: https://doi.org/10.1007/BF02673030
Реферативные базы данных:
УДК: 51.01, 517.11
Образец цитирования: С. Н. Васильев, “Метод синтеза условий выводимости хорновских и некоторых других формул”, Сиб. матем. журн., 38:5 (1997), 1034–1046; Siberian Math. J., 38:5 (1997), 896–906
Цитирование в формате AMSBIB
\RBibitem{Vas97}
\by С.~Н.~Васильев
\paper Метод синтеза условий выводимости хорновских и~некоторых других формул
\jour Сиб. матем. журн.
\yr 1997
\vol 38
\issue 5
\pages 1034--1046
\mathnet{http://mi.mathnet.ru/smj338}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1486008}
\zmath{https://zbmath.org/?q=an:1042.03527}
\transl
\jour Siberian Math. J.
\yr 1997
\vol 38
\issue 5
\pages 896--906
\crossref{https://doi.org/10.1007/BF02673030}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=A1997YE51200007}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/smj338
  • https://www.mathnet.ru/rus/smj/v38/i5/p1034
    • Эта публикация цитируется в следующих 15 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Сибирский математический журнал Siberian Mathematical Journal
    Статистика просмотров:
    Страница аннотации:393
    PDF полного текста:220
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024