Одна схема доказательств в дискретной математике
Ю.В. Матиясевич (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Displaying similar documents to “Существование неэффективизируемых оценок в теории экспоненциально диофантовых уравнений”
Одна схема доказательств в дискретной математике
О распознавании в реальное время отношения вхождения
Ю.В. Матиясевич (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Интегралы уравнений Эйлера многомерной гидродинамики и сверхпроводимости
В.Ю. Овсиенко, Б.А. Хесин, Ю.В. Чеканов (1989)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Независимость в гиперграфах
Ю.А. Сушков (1982)
Zapiski naucnych seminarov Leningradskogo
Similarity:
К теории диофантовых приближений
Karel Černý (1952)
Czechoslovak Mathematical Journal
Similarity:
О приминении разветвленных накрытий в теории диофантовых уравнений
А.Н. Паршин (1990)
Matematiceskij sbornik
Similarity:
К теории электронных свойств адсорбционных пленок
В.И. Возяков ([unknown])
Zapiski naucnych seminarov Leningradskogo
Similarity:
О метаматематическом подходе к доказательству теорем дискретной математики
Ю.В. Матиясевич (1975)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Новое доказательство теоремы об экспоненциально диофантовом представлении перечислимых предикатов
Ю.В. Матиясевич (1976)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О Липшицевых функциях от самосопряженных операторов в теории возмущений
Ю.Б. Фарфоровская (1985)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Достаточное условие сходимости монотонных последовательностей
Ю.В. Матиясевич (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Исправления к сборникам "Исследования по конструктивной математике и математической логике". II (1968) и III (1969)
Ю.В. Матиясевич, А.О. Слисенко (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity: