Об устранении правил типа сечения из аксиоматических систем Робинсона и Пресбургера
А.Ю. Плюшкевичене (1971)
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.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Устранение правил типа сечения в аксиоматических теориях с равенством”
Об устранении правил типа сечения из аксиоматических систем Робинсона и Пресбургера
О правилах типа сечения в исчислениях общего вида
С.Ю. Маслов, С.A. Норгела (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О поиске вывода в исчислениях общего типа
С.Ю. Маслов (1973)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Дифференциальные уравнения субглавного типа
Б.Ю. Стернин (1986)
Matematiceskij sbornik
Similarity:
Высокочастотные колебания типа "прыгающего мячика" в сплюснутом эллипсоиде вращения
С.Ю. Славянов ([unknown])
Zapiski naucnych seminarov Leningradskogo
Similarity:
О специализации использования аксиом при поиске вывода в аксиоматических теориях с равенством
А.Ю. Плюшкевичене (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О распространении продольных упругих колебаний типа волновой пленки с квантованной толщиной
Т.С. Кравцова (1970)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Независимость в гиперграфах
Ю.А. Сушков (1982)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Об интеграле типа Дини
И.П. Натансон ([unknown])
Matematiceskij sbornik
Similarity:
О количестве квазимод типа "прыгaющего мячика"
В.Ф. Лазуткин, Д.Я. Терман (1981)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Схемы СМ-типа
А.И. Овсеевич (1975)
Matematiceskij sbornik
Similarity:
Об операторах Карлемановского типа
С.И. Жданов (1968)
Sibirskij matematiceskij zurnal
Similarity:
Явление Гиббса для мультипликативных систем типа Уолша и типа Виленкина-Джафaрли
А.М. Зубакин (1971)
Sibirskij matematiceskij zurnal
Similarity:
Схемы доказательств в аксиоматических теориях гильбертовского типа
В.П. Оревков (1988)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Об условиях типа Гюгонио для бесконечно узких решений уравнения простых волн
В.П. Маслов, Г.А. Омельянов (1983)
Sibirskij matematiceskij zurnal
Similarity: