多类逻辑

（信息科学技术名词）
多类逻辑（many-sorted logic）是2008年公布的信息科学技术名词，出自《信息科学技术名词》。
领域
信息科学
词条相关
词条 主页 》
词条 科普 》
词条 事件 》
词条 题库 》
词条 知识 》