Синтез метода резолюций с обратным методом
Г.В. Давыдов (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Displaying similar documents to “Метод установления выводимости в классическом исчислении предикатов”
Синтез метода резолюций с обратным методом
О корректировании недоказуемых формул
Г.В. Давыдов (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Редукция пропозициональной тавтологичности к раскрашиваемости графов в три цвета
Г.В. Давыдов, П.Ю. Суворов (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Нормальная форма медленных движений уравнения релаксационного типа и расслоения биномиальных поверхностей
А.А. Давыдов (1987)
Matematiceskij sbornik
Similarity:
Некоторые замечания о поиске вывода в исчислении предикатов
Г.В. Давыдов (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Особенности полей предельных направлений двумерных управляемых систем
А.А. Давыдов (1989)
Matematiceskij sbornik
Similarity:
Структурная устойчивость управляемых систем ха ориентируемых поверхностях
A.A. Давыдов (1991)
Matematiceskij sbornik
Similarity:
(с)-свойство методов Чезаро и Абеля-Пуассона и теоремы тауберова типа
Н.А. Давыдов (1963)
Matematiceskij sbornik
Similarity:
Локальный принцип инвариантности. I
Ю.А. Давыдов (1980)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Локальные предельные теоремы для функционалов типа супремума в решетчатом случае
Ю.А. Давыдов (1980)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О предельном поведении аддитивных функционалов от полуустойчивых процессов и процессов, притягивающихся к полуустойчивым
Ю.А. Давыдов (1976)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Локальный принцип инвариантности. II
Ю.А. Давыдов (1983)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Машинный алгорифм установления выводимости на основе обратного метода
Г.В. Давыдов, С.Ю. Маслов, Г.Е. Минц, В.П. Оревков, A.O. Слисенко (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Об абсолютной непрерывности распределений времен пребывания
Ю.А. Давыдов, Сянь-Го Сунь (1994)
Zapiski naucnych seminarov POMI
Similarity: