Проблема разрешения для логики предикатов и операций.
Ю.Ш. Гуревич (1969)
Algebra i Logika
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: