Проблема разрешения проблем разрешения.
Ю.Ш. Гуревич (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 “Проблема разрешения для логики предикатов и операций.”
Проблема разрешения проблем разрешения.
Наследственная неразрешимость одного класса структурно упорядоченных абелевых групп
Ю.Ш. Гуревич (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: