退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:代数域中的从句逻辑和逻辑编程
Rounds William C; Zhang Guo-Qiang;
机译:子句逻辑和非单调逻辑编程中的归纳等价
机译:基于电感逻辑编程的阿拉伯相对条款解析
机译:代数约束域在高阶函数和逻辑编程的合作
机译:归纳逻辑编程方法中基于随机选择的底句的广度优先搜索方法的实现。
机译:基于可重构逻辑的新型低成本体系结构的实时代数导数估计
机译:约束基于知识的规划域中的逻辑编程
机译:信号的可编程通用控制发射-逻辑O或I取决于包含逻辑变量的布尔代数的功能
机译:可编程逻辑顺序控制模块-用于过程或机器调节,并具有可创建与比例图等效的布尔代数表达式的电路
机译:用于在异步时钟域交叉处促进组合逻辑故障建模的方法,装置和计算机程序产品
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。