Нормальная форма для выводов в исчислении предикатов с равенством и функциональными символами
В.А. Лифшиц (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Displaying similar documents to “О множестве нулей конструктивного степенного ряда в вещественной области”
Нормальная форма для выводов в исчислении предикатов с равенством и функциональными символами
Об исследовании конструктивных функций методом заполнений
В.А. Лифшиц (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Дедуктивная общезначимость и классы сведения
В.А. Лифшиц (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Вычисление точной асимптотики некоторых гауссовских больших уклонений
M.A. Лифшиц (1990)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О конструктивных группах
В.А. Лифшиц (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Некомпактный замкнутый шар в конструктивном компактном метрическом пространстве
В.А. Лифшиц, В.П. Чернов (1973)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Проблема разрешимости для некоторых конструктивных теорий равенства
В.А. Лифшиц (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Математическая интерпретация теоремы о веерах
В.А. Лифшиц (1973)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Некоторые классы сведения и неразрешимые теории
В.А. Лифшиц (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Эффект протуберанцев в обобщенном функционаном законе Штрассена-Ревеса
П. Деовельс, M.A. Лифшиц (1994)
Zapiski naucnych seminarov POMI
Similarity:
Осцилляция и нижняя граница распределения максимума гауссовского поля
M.A. Лифшиц (1989)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Абсолютная непрерывность функционалов типа "супремум" от гауссовских процессов
М.А. Лифшиц (1982)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Метод расслоений для процессов с независимыми приращениями
М.А. Лифшиц (1983)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Оценки скорости сходимости в законе Штрассена для случайных ломаных
А.В. Булинский, M.A. Лифшиц (1996)
Zapiski naucnych seminarov POMI
Similarity:
О конструктивных аналитических функциях одной вещественной переменной
В.А. Лифшиц (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity: