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