退出
我的积分:
中文文献批量获取
外文文献批量获取
王学芳; 郑逢斌; 徐扬;
lattice-valued logic; lattice implication algebras; closure operators; compactness;
机译:基于格值命题逻辑系统LP(X)的α群语义解析方法
机译:基于语言真值格蕴涵代数的语言真值格蕴命题逻辑系统lP(X)
机译:格值命题逻辑系统中格值角号广义子句的α解析方法
机译:格值命题逻辑系统Lp(X)的语法
机译:命题逻辑中搜索算法的研究及其在生物发光层析成像中的应用。
机译:有界格上基于闭包和内部算子的零范数的构造
机译:命题逻辑系统中理论根源的某些性质
机译:处理器验证使用有效减少未解释函数的逻辑到命题逻辑
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。