Проблема разрешения проблем разрешения.
Ю.Ш. Гуревич (1969)
Algebra i Logika
Similarity:
Displaying similar documents to “Проблема разрешения для логики предикатов и операций.”
Проблема разрешения проблем разрешения.
Наследственная неразрешимость одного класса структурно упорядоченных абелевых групп
Ю.Ш. Гуревич (1967)
Algebra i Logika
Similarity:
О включении любой линейной системы поливекторов или симметрических тензоров в полную систему
Г.Б. Гуревич (1952)
Matematiceskij sbornik
Similarity:
Универсальная эквивалентность абелевых групп
Ю.Ш. Гуревич, А.И. Кокорин, Ju.Š. Gurevič, A.I. Kokorin, Ǔ. Š. Gurevič, A.I. Kokorin, Ju.S. Gurevic (1963)
Algebra i Logika
Similarity:
Элементарные свойства упорядоченных абелевых групп
Ю.Ш. Гуревич, Ju.Š. Gurevič, Ǔ. Š. Gurevič, Ju.S. Gurevitch, Ju.S. Gurevic (1964)
Algebra i Logika
Similarity:
О сходимости в среднем биортогональных рядов
Л.А. Гуревич ([unknown])
Matematiceskij sbornik
Similarity:
Замкнутые идеалы с нульмерным множеством корней в некоторых кольцах голоморфных функций
Д.И. Гуревич (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Замечания к работе Р. Бергера о проблеме домино
Ю.Ш. Гуревич, И.О. Коряков (1972)
Sibirskij matematiceskij zurnal
Similarity:
Некоммутативныя дифференциальная геометрия, связанныя с уравнением Янга-Бакстера
Д. Гуревич, А. Радул, В. Рубцов (1992)
Zapiski naucnych seminarov POMI
Similarity:
Об ошибке в статье И.И. Жегалкина "Проблема разрешимости на конечных классах"
В.Ф. Костырко (1962)
Algebra i Logika
Similarity:
Кинематики кривизны не больше К.
В.Л. Гуревич (1984)
Sibirskij matematiceskij zurnal
Similarity:
Разрешимость эквациональной теории положительных чисел с возведением в степень.
Р.Г. Гуревич (1984)
Sibirskij matematiceskij zurnal
Similarity: