退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:将否定作为失败与逻辑程序中的嵌入式含义相结合
Giordano Laura; Olivetti Nicola;
机译:不合理的逻辑与没有否定失败的逻辑编程
机译:通过皮带逻辑将明确的否定与失败相结合
机译:隐含的暗示是将否定一般化为失败
机译:并行实现的逻辑编程(图形嵌入)。
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:通过Belnap的逻辑将显式否定与失败否定相结合
机译:安全逻辑取反和交集组合功能
机译:安全逻辑电路对组合功能的求反和交点执行alpha,beta运算
机译:端盖,包括该端盖的可编程逻辑控制器设备,端盖安装有/缺席确认方法和该可编程逻辑控制器设备的故障诊断方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。