О правилах типа сечения в исчислениях общего вида
С.Ю. Маслов, С.A. Норгела (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Displaying similar documents to “О Кручении Трубы Прямоугольного Сечения”
О правилах типа сечения в исчислениях общего вида
Устранение правил типа сечения в аксиоматических теориях с равенством
А.Ю. Плюшкевичене (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О поиске вывода в исчислениях общего типа
С.Ю. Маслов (1973)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Свободные от сечения исчисления типа S5
Г.Е. Минц (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Мутационные исчисления
С.Ю. Маслов (1975)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Вероятностные канонические исчисления
С.Ю. Маслов, Е.Д. Русаков ([unknown])
Zapiski naucnych seminarov Leningradskogo
Similarity:
Обратимый секвенциальный вариант конструктивного исчисления предикатов
С.Ю. Маслов (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Теорема об устранимости сечения для релевантных логик
Г.Е. Минц (1973)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Исчисления с монотонными выводами и их экономическая интерпретация
С.Ю. Маслов (1979)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Две теоремы о делимости и кручении в K-группах Милинора
Р.А. Богомолов (1986)
Matematiceskij sbornik
Similarity:
Кривизна и голоморфные сечения эрмитовых расслоений.
М.А. Чинак (1989)
Sibirskij matematiceskij zurnal
Similarity:
Дизъюнктивная интерпретация исчисления LJ
Г.Е. Минц (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity: