Одна схема доказательств в дискретной математике
Ю.В. Матиясевич (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Displaying similar documents to “О метаматематическом подходе к доказательству теорем дискретной математики”
Одна схема доказательств в дискретной математике
О распознавании в реальное время отношения вхождения
Ю.В. Матиясевич (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Структуры, порожденные инвариантами
В.П. Федотов (1979)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Независимость в гиперграфах
Ю.А. Сушков (1982)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Диссипативные структуры режимов с обострением в нелинейной теплопроводной среде
Г. Г. Еленин, С. П. Курдюмов (1984)
Banach Center Publications
Similarity:
Существование неэффективизируемых оценок в теории экспоненциально диофантовых уравнений
Ю.В. Матиясевич (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О специализации использования аксиом при поиске вывода в аксиоматических теориях с равенством
А.Ю. Плюшкевичене (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Новое доказательство теоремы об экспоненциально диофантовом представлении перечислимых предикатов
Ю.В. Матиясевич (1976)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Структуры топологического типа
А.А. Иванов (1979)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Конгруенции на слабо модулярных структурах
Л.Н. Каролинская, И.В. Стеллецкий (1966)
Sibirskij matematiceskij zurnal
Similarity:
Достаточное условие сходимости монотонных последовательностей
Ю.В. Матиясевич (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Исправления к сборникам "Исследования по конструктивной математике и математической логике". II (1968) и III (1969)
Ю.В. Матиясевич, А.О. Слисенко (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Об одном классе дистрибутивных структур
М.Г. Рабинович (1972)
Sibirskij matematiceskij zurnal
Similarity: