退出
我的积分:
中文文献批量获取
外文文献批量获取
何华灿;
西北工业大学计算机学院;
陕西西安710072;
机译:命题区间邻域逻辑:可表达性,可判定性和不可判定的扩展
机译:经典命题逻辑和直觉命题逻辑中变量的可判定性
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:马里奥逻辑图中索里式克里斯蒂普斯的不可言喻。命题演算只能是三段论吗?
机译:情境演算:可判定性和基于非单调归纳定义逻辑的方法。
机译:人们喜欢逻辑真理:在基本命题中测试对逻辑价值的直觉检测
机译:不可判定的命题双峰逻辑和单变量一阶 线性时间逻辑与计数
机译:用逆向解释命题动态逻辑中的知识逻辑
机译:具有多个基本功能单元的可重配置系统,每个单元具有多个多路复用器和其他逻辑,用于执行逻辑运算或算术运算中的至少一项
机译:从控制晶体管的功函数中的一项或多项中选择的一项或多项中的至少一项的石墨烯位置运动的弯曲变形
机译:操作逻辑传感器网络的方法和系统,尤其与获得的命令有关,该命令至少与一个逻辑节点名称相关联地执行一项功能
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。