Связь между тактиками обратного метода и метода резолюций
С.Ю. Маслов (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Displaying similar documents to “Машинный алгорифм установления выводимости на основе обратного метода”
Связь между тактиками обратного метода и метода резолюций
Распространение обратного метода на исчисление с равенством
С.Ю. Маслов (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Тактики поиска вывода, основанные на унификации порядка членов в благоприятном наборе
С.Ю. Маслов (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Эрбрановы тактики и отношение "большей выводимости"
С.Ю. Маслов, С.А. Норгела (1977)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Синтез метода резолюций с обратным методом
Г.В. Давыдов (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Обратимый секвенциальный вариант конструктивного исчисления предикатов
С.Ю. Маслов (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Отношение поглощения на регулярных множествах
С.Ю. Маслов (1976)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Исчисления с монотонными выводами и их экономическая интерпретация
С.Ю. Маслов (1979)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Предельный случай теоремы переместительности в преобразовании Бианки
А.Ф. Маслов ([unknown])
Matematiceskij sbornik
Similarity:
О преобразовании Moutard'a и квадратичных решениях уравнения с равными инвариантами
А.Ф. Маслов ([unknown])
Matematiceskij sbornik
Similarity:
О правилах типа сечения в исчислениях общего вида
С.Ю. Маслов, С.A. Норгела (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Метод установления выводимости в классическом исчислении предикатов
Г.В. Давыдов (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity: