Задача парковки для отрезков различной длины
С.М. Ананьевский (1996)
Zapiski naucnych seminarov POMI
Similarity:
Displaying similar documents to “Насыщенное исчисление для хорновских секвенций полной линейной темпоральной логики первого порядка”
Задача парковки для отрезков различной длины
Метод эпсилон подстановок для исчисления предикатов с равенством
Г.Е. Минц (1995)
Zapiski naucnych seminarov POMI
Similarity:
Равномерное распределение точки первого выхода для двумерного анизотропного диффузионного процесса: асимптотика окрестности начальной точки
Б.П. Харламов (1996)
Zapiski naucnych seminarov POMI
Similarity:
Универсальные элементы для семейств сепарабельных метрических пространств
Д.Н. Георгиу, С.Д. Илиадис (1995)
Zapiski naucnych seminarov POMI
Similarity:
О вычислении второго члена лучевого ряда для вектора продольных смещений в неоднородной изотропной упругой среде
Н.Я. Кирпичникова (1994)
Zapiski naucnych seminarov POMI
Similarity:
О поведении инвариантов конечной степени при взаимозависимых преобразованиях зацепления
М.Н. Гусаров (1995)
Zapiski naucnych seminarov POMI
Similarity:
Решения уравнения колебаний пластины, сосредоточенные вблизи замкнутых экстремальных чисел
А.С. Голубева (1995)
Zapiski naucnych seminarov POMI
Similarity:
Большие уклонения суммы независимых случайных величин из области притяжения устойчивого закона
Л.В. Розовский (1996)
Zapiski naucnych seminarov POMI
Similarity:
Начально-краевая задача с проскальзыванием для уравнений водных растворов полимеров со штрафом
А.П. Осколков (1994)
Zapiski naucnych seminarov POMI
Similarity:
О распределении функционалов от броуновского движения, остановленного в момент, обратный ко времени пребывания
А.Н. Бородин (1996)
Zapiski naucnych seminarov POMI
Similarity:
Оценки скорости сходимости в законе Штрассена для случайных ломаных
А.В. Булинский, M.A. Лифшиц (1996)
Zapiski naucnych seminarov POMI
Similarity:
О необходимости условия Линника в одной теореме о вероятностях больших уклонений
Н.Н. Амосова (1996)
Zapiski naucnych seminarov POMI
Similarity:
Новый интегральный непараметрический критерий для проверки гипотезы аффинной симметрии
И.В. Гамов, Я.Ю. Никитин (1996)
Zapiski naucnych seminarov POMI
Similarity:
Основные проблемы метода многократных перекрытий огт и технологичных методик обработки его дaнных
Г.И. Петрашень, А.Г. Рудаков (1996)
Zapiski naucnych seminarov POMI
Similarity:
Какая информация о волновой функции следует из ее "измерения" с помощью томографического метода восстановления распределения Вигнера?
Л.Б. Клебанов, Л.А. Халфин (1996)
Zapiski naucnych seminarov POMI
Similarity:
Алгоритм определения полей суммарных кратных волн при произвольном расположении источника и приемника внутри упругой среды
H.C. Смирнова (1994)
Zapiski naucnych seminarov POMI
Similarity:
Вычисление второго члена лучевого ряда в квазидвумерном случае
Н.Я. Кирпичникова, М.М. Попов (1994)
Zapiski naucnych seminarov POMI
Similarity:
О единственности формфакторов для радуцированной модели синус-Гордон
Т. Такэбэ (1992)
Zapiski naucnych seminarov POMI
Similarity:
Одно обобщение неравенства Крамера-Рао
И.А. Ибрагимов (1996)
Zapiski naucnych seminarov POMI
Similarity: