Распространение обратного метода на исчисление с равенством
С.Ю. Маслов (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.
The search session has expired. Please query the service again.
Displaying similar documents to “Связь между тактиками обратного метода и метода резолюций”
Распространение обратного метода на исчисление с равенством
Эрбрановы тактики и отношение "большей выводимости"
С.Ю. Маслов, С.А. Норгела (1977)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Тактики поиска вывода, основанные на унификации порядка членов в благоприятном наборе
С.Ю. Маслов (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Машинный алгорифм установления выводимости на основе обратного метода
Г.В. Давыдов, С.Ю. Маслов, Г.Е. Минц, В.П. Оревков, A.O. Слисенко (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Обратимый секвенциальный вариант конструктивного исчисления предикатов
С.Ю. Маслов (1967)
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:
Мутационные исчисления
С.Ю. Маслов (1975)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Отношение поглощения на регулярных множествах
С.Ю. Маслов (1976)
Zapiski naucnych seminarov Leningradskogo
Similarity: