退出
我的积分:
中文文献批量获取
外文文献批量获取
张圣官;
江苏省姜堰中学;
机译:推理;直觉逻辑;证明理论;逻辑性质;逻辑运算符
机译:框图级别的电子系统诊断的推理算法
机译:使用语义Web逻辑和证明层的服务扩展多代理推理互操作性框架
机译:学生的逻辑推理和数学证明。
机译:集合论逻辑和概率:将定性推理整合到定量生物学教学统计中
机译:证明助理中算法和逻辑推理系统的形式化
机译:描述使用语法更新的逻辑推理
机译:在可扩展逻辑推理系统中得出逻辑证明
机译:在拜占庭算法下可操作的逻辑单元,具有该逻辑单元的计算机单元,由逻辑单元或计算机单元组成的复合组件以及操作该组件的方法
机译:基于拜占庭式算法的逻辑单元,具有这种逻辑单元的计算机单元,由逻辑单元或计算机单元组成的复合系统以及用于操作这种复合系统的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。