Распространение обратного метода на аксиоматические теории с равенством

А.Ю. Плюшкевичене

Displaying similar documents to “Распространение обратного метода на аксиоматические теории с равенством”

Распространение обратного метода на исчисление с равенством

С.Ю. Маслов (1971)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Машинный алгорифм установления выводимости на основе обратного метода

Г.В. Давыдов, С.Ю. Маслов, Г.Е. Минц, В.П. Оревков, A.O. Слисенко (1969)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Связь между тактиками обратного метода и метода резолюций

С.Ю. Маслов (1969)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Квантовый вариант метода обратной задачи рассеяния

E.K. Склянин (1980)

Zapiski naucnych seminarov Leningradskogo

Similarity:

О некоторых применениях метода категорый в теории пространств последовательностей

Anton Legéň, Tibor Šalát (1964)

Matematicko-fyzikálny časopis

Similarity:

Дискретный аналог метода Гельфанда-Левитана в двумерной обратной задаче для гиперболического уравнения.

С.И. Кабанихин, Г.Б. Баканов (1999)

Sibirskij matematiceskij zurnal

Similarity:

Применение девятиточечной схемы метода прямых к некоторым нелинейным краевым задачам

А.П. Кубанская (1971)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Организация псевдомассивов на рефале

M.M. Лебединский ([unknown])

Zapiski naucnych seminarov Leningradskogo

Similarity:

Обратная задача для самосопряженного дифференциального оператора на оси

В.В. Суханов (1988)

Matematiceskij sbornik

Similarity:

Независимость в гиперграфах

Ю.А. Сушков (1982)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Синтез метода резолюций с обратным методом

Г.В. Давыдов (1971)

Zapiski naucnych seminarov Leningradskogo

Similarity:

О специализации использования аксиом при поиске вывода в аксиоматических теориях с равенством

А.Ю. Плюшкевичене (1971)

Zapiski naucnych seminarov Leningradskogo

Similarity: