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