О распознавании в реальное время отношения вхождения
Ю.В. Матиясевич (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Displaying similar documents to “Одна схема доказательств в дискретной математике”
О распознавании в реальное время отношения вхождения
О метаматематическом подходе к доказательству теорем дискретной математики
Ю.В. Матиясевич (1975)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Независимость в гиперграфах
Ю.А. Сушков (1982)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Существование неэффективизируемых оценок в теории экспоненциально диофантовых уравнений
Ю.В. Матиясевич (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Новое доказательство теоремы об экспоненциально диофантовом представлении перечислимых предикатов
Ю.В. Матиясевич (1976)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Исправления к сборникам "Исследования по конструктивной математике и математической логике". II (1968) и III (1969)
Ю.В. Матиясевич, А.О. Слисенко (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Интегралы уравнений Эйлера многомерной гидродинамики и сверхпроводимости
В.Ю. Овсиенко, Б.А. Хесин, Ю.В. Чеканов (1989)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Достаточное условие сходимости монотонных последовательностей
Ю.В. Матиясевич (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О специализации использования аксиом при поиске вывода в аксиоматических теориях с равенством
А.Ю. Плюшкевичене (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О решениях классического уравнения треугольников, ассоциированных с многоподрешеточным уравнением Ландау-Лифшица
В.Ю. Попков (1989)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О псевдофункциях Шеннона
И.Д. Заславский (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Устранение правил типа сечения в аксиоматических теориях с равенством
А.Ю. Плюшкевичене (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Две редукции 10-й проблемы Гильберта
Ю.В. Матиясевич (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity: