半正则的广义文字相关硕士博士期刊学术论文 - 搜论网

半正则的广义文字相关论文

格值命题逻辑系统L2n＋1P（X）中基于半正则广义文字的自动推理算法

在格值命题逻辑系统L2n＋1P（X）上，提出了半正则的正广义文字和半正则的负广义文字的概念，进一步给出了半正则广义子句和半正则广义予句集......

期刊

半正则的广义文字中界元格值命题逻辑系统归结自动推理自动推理算法 Sub-regular Generalized Literal Intermediate

看过本文同时还关注