中介逻辑系统
基于1个网页-相关网页
medium predicate logic system 中介逻辑谓词演算系统
·2,447,543篇论文数据，部分数据来源于NoteExpress
MP~M is a 3-valued logic propositional calculus system which is based on the medium logic system, and it is used to deal with the incomplete information in the database.
MP~M系统是在中介逻辑系统的基础上建立起来的，用于处理数据库中不完全信息的三值逻辑命题演算系统。
youdao
应用推荐
模块上移
模块下移
不移动