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