Секвенциальный вариант исчисления конструктивной логики для нормальных формул без структурных правил вывода
Р.А. Плюшкевичус (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
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)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Полнота волновых операторов для систем с равномерным распространением
В.Г. Дейч (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Необходимые и достаточные условия для шпеккеровых свойств вероятностного пространства
Н.К. Косовский (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Теорема разложения для трансляционно инвариантного подпространства канонического дифференциального оператора
М.В. Буслаева (1970)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Скейлинговая функция для коррелятора скорости в теории изотропной развитой турбулентности
Н.В. Антонов (1987)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Индивидуальные теоремы типа Винера-Леви для рядов и интегралов Фурье
Е.М. Дынькин (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Асимптотическое поведение ошибки прогноза в многомерном случае
В.Н. Солев (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Применение метода Лапласа к построению решений уравнения Гельмгольца
Б.Г. Николаев (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Асимптотическая динамика и спектральный анализ для оператора Шредингера со слабо ускоряющим потенциалом
М.В. Буслаева (1989)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Нестационарные нормальные волны тонкого изогнутого волновода в многолучевой области (равномерная асимптотика).
А.Б. Плаченов (1982)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О точных представлениях частично упорядоченных множеств конечного типа
М.М. Клейнер (1972)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О матричном методе для слабо неоднородных слоистых акустических сред
Л.А. Молотков, Н.А. Разумовский (1983)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Коротковолновая асимптотика решения задачи о движущимся точечном источнике в неоднородной нестационарной среде
Н.С. Григорьева (1987)
Zapiski naucnych seminarov Leningradskogo
Similarity:
К теореме Берлинга о принципе минимума для положительных гармонических функций
В.Г. Мазья (1972)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Построение асимптотики решения уравнения Шредингера, сосредоточенной в окрестности классической траектории
В.М. Бабич, Ю.П. Данилов (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Following screened perturbations in an elastic medium with a thin layer
Н.С. Смирнова (1990)
Zapiski naucnych seminarov Leningradskogo
Similarity: