退出
我的积分:
中文文献批量获取
外文文献批量获取
刘宏岚; 高庆狮; 杨炳儒;
北京科技大学信息工程学院;
概率逻辑; 二值逻辑; 集合; 逻辑运算;
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:命题演绎概念从经典逻辑扩展到概率:概率选择方法概述
机译:概率逻辑中命题公式的量化:可判定性问题
机译:概率命题逻辑中的命题运算和命题之间的关系
机译:英语中逻辑运算符的语义特性。
机译:罗丹明附加联吡啶:可控金属迁移实例中的XOR和OR逻辑运算
机译:从基于0,1的逻辑到区间逻辑(从所有可能的基于0,1的逻辑运算的已知描述到所有可能的基于区间的逻辑运算的描述)
机译:用逆向解释命题动态逻辑中的知识逻辑
机译:逻辑电路,具有用于执行包括随机屏蔽数据的逻辑运算并以随机屏蔽类型输出逻辑运算的结果以及不满足关联律的逻辑运算的逻辑装置
机译:逻辑运算方法,逻辑运算系统,逻辑运算程序,自动程序生成方法,自动程序生成装置,自动程序生成程序以及记录介质
机译:逻辑运算电路,逻辑运算装置及逻辑运算方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。