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