• русский
    • English
  • English 
    • русский
    • English
    Search 
    •   DSpace Home
    • Диссертации и выпускные квалификационные работы (ВКР)
    • Search
    •   DSpace Home
    • Диссертации и выпускные квалификационные работы (ВКР)
    • Search
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Search

    Show Advanced FiltersHide Advanced Filters

    Filters

    Use filters to refine the search results.

    Now showing items 1-2 of 2

    • Sort Options:
    • Relevance
    • Title Asc
    • Title Desc
    • Issue Date Asc
    • Issue Date Desc
    • Results Per Page:
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100
    Thumbnail

    Построение явного базиса допустимых правил вывода для табличных модальных логик ширины 3 глубины 2 

    Бурмакина, Анастасия Сергеевна (Сибирский федеральный университет, 2016)
    Thumbnail

    Алгоритмический критерий допустимости правил вывода в модальной логике К4+bw2 

    Шумкина, Галина Михайловна (Сибирский федеральный университет, 2017)

    DSpace software copyright © 2002-2015  DuraSpace
    Contact Us | Send Feedback
    Theme by 
    @mire NV
     

     

    Discover

    Date Issued2016 (1)2017 (1)SchoolИнститут математики и фундаментальной информатики (2)ChairКафедра алгебры и математической логики (2)Speciality
    01.03.01 Математика (2)
    Scientific Advisor
    Кияткин, Владимир Ростиславович (2)

    DSpace software copyright © 2002-2015  DuraSpace
    Contact Us | Send Feedback
    Theme by 
    @mire NV