Насыщенное исчисление для хорновских секвенций полной линейной темпоральной логики первого порядка
Р. Плюшкявичюс (1995)
Zapiski naucnych seminarov POMI
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 “Уровневые логики”
Насыщенное исчисление для хорновских секвенций полной линейной темпоральной логики первого порядка
Проблематика теории битопологических пространств. 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: