Распространение обратного метода на исчисление с равенством
С.Ю. Маслов (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Displaying similar documents to “Распространение обратного метода на аксиоматические теории с равенством”
Распространение обратного метода на исчисление с равенством
Машинный алгорифм установления выводимости на основе обратного метода
Г.В. Давыдов, С.Ю. Маслов, Г.Е. Минц, В.П. Оревков, 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: