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

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

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



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






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


Матем. заметки, 1972, том 12, выпуск 6, страницы 781–790 (Mi mz9944)  

Применение методов теории логического вывода в теории графов

Ю. В. Матиясевич

Ленинградское отделение Математического института им. В. А. Стеклова АН СССР

Аннотация: Приводится индуктивное определение свойства «быть графом, нераскрашиваемым в $n$ цветов». Библ. 12 назв.

Полный текст: PDF файл (1466 kB)

Англоязычная версия:
Mathematical Notes, 1972, 12:6, 904–908

Реферативные базы данных:

Тип публикации: Статья
УДК: 51.01:164+519.1
Поступило: 12.05.1971

Образец цитирования: Ю. В. Матиясевич, “Применение методов теории логического вывода в теории графов”, Матем. заметки, 12:6 (1972), 781–790; Math. Notes, 12:6 (1972), 904–908

Цитирование в формате AMSBIB
\RBibitem{Mat72}
\by Ю.~В.~Матиясевич
\paper Применение методов теории логического вывода в теории графов
\jour Матем. заметки
\yr 1972
\vol 12
\issue 6
\pages 781--790
\mathnet{http://mi.mathnet.ru/mz9944}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=321781}
\zmath{https://zbmath.org/?q=an:0247.05115}
\transl
\jour Math. Notes
\yr 1972
\vol 12
\issue 6
\pages 904--908
\crossref{https://doi.org/10.1007/BF01156054}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/mz9944
  • http://mi.mathnet.ru/rus/mz/v12/i6/p781

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Математические заметки Mathematical Notes
    Просмотров:
    Эта страница:137
    Полный текст:48
    Первая стр.:1

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2018