Тактики поиска вывода, основанные на унификации порядка членов в благоприятном наборе
С.Ю. Маслов (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Displaying similar documents to “Квазиклассическое приближение для моделей спин-спинового взаимодействия на одномерной решетке”
Тактики поиска вывода, основанные на унификации порядка членов в благоприятном наборе
Эрбрановы тактики и отношение "большей выводимости"
С.Ю. Маслов, С.А. Норгела (1977)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Обратимый секвенциальный вариант конструктивного исчисления предикатов
С.Ю. Маслов (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Исчисления с монотонными выводами и их экономическая интерпретация
С.Ю. Маслов (1979)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Распространение обратного метода на исчисление с равенством
С.Ю. Маслов (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Вычислимые классы конструктивизаций моделей бесконечной алгоритмической размерности
Ю.Г. Венцов (1994)
Algebra i Logika
Similarity:
Проблема эффективного выбора для отношений и сводимостей в классах конструктивных и позитивных моделей
Ю.Г. Венцов (1992)
Algebra i Logika
Similarity:
Мутационные исчисления
С.Ю. Маслов (1975)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Одевающие уравнения для корреляционных функций
В.Е. Корепин (1985)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Трехкамерная модель улитки внутреннего уха
С.М. Новоселова (1985)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Точное решение XXZ-модели Гейзенберга спина S
А.Н. Кириллов, Н.Ю. Решетихин (1985)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Вероятностные канонические исчисления
С.Ю. Маслов, Е.Д. Русаков ([unknown])
Zapiski naucnych seminarov Leningradskogo
Similarity:
Автоустойчивость гиперарифметических моделей
А.В. Ромина (2000)
Algebra i Logika
Similarity:
Геометрическое квантование как предел нулевой массы в задаче о частице на сфере в поле магнитного монополя
А.Ю. Алексеев, Д.В. Глущенков (1990)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Отношение поглощения на регулярных множествах
С.Ю. Маслов (1976)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О правилах типа сечения в исчислениях общего вида
С.Ю. Маслов, С.A. Норгела (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity: