中教数据库
我是读者 我是作者 期刊社 学术百科
期刊
期刊
论文
    中教数据库 > 模糊系统与数学 > 文章详情

    α-三Ⅰ约束问题的形式解

    更新时间:2023-05-28

    《模糊系统与数学》2020年01期
    收藏 下载 投稿 纸媒订阅

    【摘要】提出了α-三Ⅰ约束问题,并在逻辑系统L~*和Luk中给出了这些问题的形式解,建立了这两个逻辑系统中三Ⅰ约束算法的形式推理机制,为α-三Ⅰ约束算法建立了严格的理论基础。

    【关键词】

    388 2页 免费

    发表评论

    登录后发表评论 (已发布 0条)

    点亮你的头像 秀出你的观点

    0/500
    以上留言仅代表用户个人观点，不代表中教立场
    相关文献
    相关期刊

    《基础医学教育》

    《基础教育论坛》

    《基础外语教育》

    热门文献

    精选文献

    推荐期刊

    010-56259535

    关注中教数据库

    Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved

    京ICP备2021022288号-1

    京公网安备 11011102000866号