Одна схема доказательств в дискретной математике
Ю.В. Матиясевич (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Displaying similar documents to “Новое доказательство теоремы об экспоненциально диофантовом представлении перечислимых предикатов”
Одна схема доказательств в дискретной математике
Диофантова сложность
Ю.В. Матиясевич (1988)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О распознавании в реальное время отношения вхождения
Ю.В. Матиясевич (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Существование неэффективизируемых оценок в теории экспоненциально диофантовых уравнений
Ю.В. Матиясевич (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О метаматематическом подходе к доказательству теорем дискретной математики
Ю.В. Матиясевич (1975)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Две теоремы о сложности алгорифмов и вычислений
Н.В. Петри (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О секвенциальных вариантах прикладных исчислений предикатов
М.Г. Рогава (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Упрощенное доказательство распознаваемости симметричности слов в реальное время на машинах Тьюринга
А.О. Слисенко (1977)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Новое доказательство теоремы Pohlke
А.К. Власов ([unknown])
Matematiceskij sbornik
Similarity:
Независимость в гиперграфах
Ю.А. Сушков (1982)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Финитный подход к задаче оптимизации алгоритмов установления выводимости
А.О. Слисенко (1975)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Формула следа Сeльберга для гильбертовой модулярной группы вещественного квадратичного поля алгебраических чисел
П.Г. Зoграф (1980)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Арифметические представления перечислимых множеств с небольшим числом кванторов
Ю.В. Матиясевич (1973)
Zapiski naucnych seminarov Leningradskogo
Similarity: