Насыщенное исчисление для хорновских секвенций полной линейной темпоральной логики первого порядка
Р. Плюшкявичюс (1995)
Zapiski naucnych seminarov POMI
Similarity:
Displaying similar documents to “Уровневые логики”
Насыщенное исчисление для хорновских секвенций полной линейной темпоральной логики первого порядка
Проблематика теории битопологических пространств. II
A.A. Иванов (1993)
Zapiski naucnych seminarov POMI
Similarity:
Основные проблемы метода многократных перекрытий огт и технологичных методик обработки его дaнных
Г.И. Петрашень, А.Г. Рудаков (1996)
Zapiski naucnych seminarov POMI
Similarity:
Расчет SDE-вклада оператора диссипации в спектр энергии развитой турбулентности
Л.В. Аджемян, Л.Ц. Аджемян (1995)
Zapiski naucnych seminarov POMI
Similarity:
О необходимости условия Линника в одной теореме о вероятностях больших уклонений
Н.Н. Амосова (1996)
Zapiski naucnych seminarov POMI
Similarity:
Одно обобщение неравенства Крамера-Рао
И.А. Ибрагимов (1996)
Zapiski naucnych seminarov POMI
Similarity:
Некоммутативныя дифференциальная геометрия, связанныя с уравнением Янга-Бакстера
Д. Гуревич, А. Радул, В. Рубцов (1992)
Zapiski naucnych seminarov POMI
Similarity:
О распределении функционалов от броуновского движения, остановленного в момент, обратный ко времени пребывания
А.Н. Бородин (1996)
Zapiski naucnych seminarov POMI
Similarity:
О поведении инвариантов конечной степени при взаимозависимых преобразованиях зацепления
М.Н. Гусаров (1995)
Zapiski naucnych seminarov POMI
Similarity:
Электронные и магнитные состояния в двухзонной модели Хаббарда
В.П. Лукин (1995)
Zapiski naucnych seminarov POMI
Similarity:
Георг Кантор как автор конструкций, играющих фундаментальные роли в конструктивной математике
Н.А. Шанин (1995)
Zapiski naucnych seminarov POMI
Similarity:
Библиография по битопологическим пространствам. II
A.A. Иванов (1993)
Zapiski naucnych seminarov POMI
Similarity:
Вычисление второго члена лучевого ряда в квазидвумерном случае
Н.Я. Кирпичникова, М.М. Попов (1994)
Zapiski naucnych seminarov POMI
Similarity:
The penalty method for the equations of viscoelastic media
А.П. Осколков (1995)
Zapiski naucnych seminarov POMI
Similarity:
Большие уклонения суммы независимых случайных величин из области притяжения устойчивого закона
Л.В. Розовский (1996)
Zapiski naucnych seminarov POMI
Similarity:
Конечнозонные аттракторы и переходные процессы типа ударных волн в интегрируемых системах
Р.Ф. Бикбаев (1992)
Zapiski naucnych seminarov POMI
Similarity:
О проблеме обоснования гипотез Колмогорова в стохастической теории турбулентности
Л.Ц. Аджемян, Н.В. Антонов, А.Н. Васильев, М.М. Перекалин (1995)
Zapiski naucnych seminarov POMI
Similarity:
Односторонняя сходимость непрерывных процессов стохастической аппроксимации
С.В. Комаров, Т.П. Красулина (1996)
Zapiski naucnych seminarov POMI
Similarity: