Устранение правил типа сечения в аксиоматических теориях с равенством
А.Ю. Плюшкевичене (1969)
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 “Об устранении правил типа сечения из аксиоматических систем Робинсона и Пресбургера”
Устранение правил типа сечения в аксиоматических теориях с равенством
Орбитная интерпретация гамильтоновых систем типа ангармонического осциллятора
А.Г. Рейман (1986)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Независимость в гиперграфах
Ю.А. Сушков (1982)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О поиске вывода в исчислениях общего типа
С.Ю. Маслов (1973)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О правилах типа сечения в исчислениях общего вида
С.Ю. Маслов, С.A. Норгела (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Высокочастотные колебания типа "прыгающего мячика" в сплюснутом эллипсоиде вращения
С.Ю. Славянов ([unknown])
Zapiski naucnych seminarov Leningradskogo
Similarity:
О решении систем, состоящих одновременно из уравнений в словах и неравенств в длинах слов
Н.К. Косовский (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О распространении продольных упругих колебаний типа волновой пленки с квантованной толщиной
Т.С. Кравцова (1970)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Явление Гиббса для мультипликативных систем типа Уолша и типа Виленкина-Джафaрли
А.М. Зубакин (1971)
Sibirskij matematiceskij zurnal
Similarity:
Об остронаправленном распространении поверхностных волн типа Лява
Г.П. Астраханцев (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Экспоненциальная дихотомия и базисность систем элементарных решений линейных автономных уравнений нейтрального типа
С.Е. Биркган (1986)
Sibirskij matematiceskij zurnal
Similarity:
О специализации использования аксиом при поиске вывода в аксиоматических теориях с равенством
А.Ю. Плюшкевичене (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О рождении предельных циклов из петли сепаратрисы и из сепаратрисы состояния равновесия типа седло-узeл
А.А. Андронов, Е.А. Леонтович (1959)
Matematiceskij sbornik
Similarity:
Об интегрируемости гамильтоновых систем с однородными конфигурационными пространствами
И.В. Микитюк (1986)
Matematiceskij sbornik
Similarity:
Дифференциальные уравнения субглавного типа
Б.Ю. Стернин (1986)
Matematiceskij sbornik
Similarity:
Интегрирование слабо нелинейных полугамильтоновых систем гидродинамического типа методами теории тканей
Е.В. Ферапонтов (1990)
Matematiceskij sbornik
Similarity:
О решениях классического уравнения треугольников, ассоциированных с многоподрешеточным уравнением Ландау-Лифшица
В.Ю. Попков (1989)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Вывод теоремы Левинсона-Картрайт из теоремы Колмогорова
П. Кусис (1984)
Zapiski naucnych seminarov Leningradskogo
Similarity: