Нормальная форма для выводов в исчислении предикатов с равенством и функциональными символами
В.А. Лифшиц (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Displaying similar documents to “Вычисление точной асимптотики некоторых гауссовских больших уклонений”
Нормальная форма для выводов в исчислении предикатов с равенством и функциональными символами
Дедуктивная общезначимость и классы сведения
В.А. Лифшиц (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Проблема разрешимости для некоторых конструктивных теорий равенства
В.А. Лифшиц (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Об исследовании конструктивных функций методом заполнений
В.А. Лифшиц (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О множестве нулей конструктивного степенного ряда в вещественной области
В.А. Лифшиц (1969)
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:
Некомпактный замкнутый шар в конструктивном компактном метрическом пространстве
В.А. Лифшиц, В.П. Чернов (1973)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Осцилляция и нижняя граница распределения максимума гауссовского поля
M.A. Лифшиц (1989)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Абсолютная непрерывность функционалов типа "супремум" от гауссовских процессов
М.А. Лифшиц (1982)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О временах пребывания гауссовских стационарных процессов
М.А. Лифшиц (1980)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Локальные времена для функций и гауссовских процессов
М.А. Лифшиц (1979)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Метод расслоений для процессов с независимыми приращениями
М.А. Лифшиц (1983)
Zapiski naucnych seminarov Leningradskogo
Similarity: