退出
我的积分:
中文文献批量获取
外文文献批量获取
熊瑜; 毕金钵;
[1]杭州电子科技大学理学院;
浙江杭州310018;
数理逻辑; 命题公式; 谓词公式; 演绎推理;
机译:推理,机器人和导航:演绎推理和演绎推理的双重角色
机译:数理逻辑论证形式有效性算法
机译:费曼图解法在随机多孔介质中试井分析中的应用
机译:使用图数据库和演绎推理序幕规则从缅甸人口普查数据中搜索人员关系
机译:群同源性中的年轻图解法
机译:演绎推理脑网络:一种基于坐标的演绎推理中神经签名的荟萃分析
机译:本科计算机教育中数理逻辑课程改革浅析
机译:确定三维设计中连通性的新图解法
机译:利用演绎推理和演绎推理进行语境感知的装置和方法
机译:腐蚀损伤船舶极限纵向强度评估的图解法
机译:智能图解法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。