|
Математические заметки, 1972, том 12, выпуск 6, страницы 781–790
(Mi mzm9944)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Применение методов теории логического вывода в теории графов
Ю. В. Матиясевич Ленинградское отделение Математического института им. В. А. Стеклова АН СССР
Аннотация:
Приводится индуктивное определение свойства «быть графом, нераскрашиваемым в $n$ цветов». Библ. 12 назв.
Поступило: 12.05.1971
Образец цитирования:
Ю. В. Матиясевич, “Применение методов теории логического вывода в теории графов”, Матем. заметки, 12:6 (1972), 781–790; Math. Notes, 12:6 (1972), 904–908
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm9944 https://www.mathnet.ru/rus/mzm/v12/i6/p781
|
Статистика просмотров: |
Страница аннотации: | 292 | PDF полного текста: | 128 | Первая страница: | 1 |
|