退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:1关于逻辑程序的基于图的表示形式的等效性和适用范围
Stefania Costantini; Ro Provetti C; Via Vetoio; I- Italy;
机译:在微生物合成代谢的表示中,适用于“生命起源”环境条件的底物和产物之间的电子当量是否优于C-mol当量?
机译:子句逻辑和非单调逻辑编程中的归纳等价
机译:从原型到生产的可编程逻辑-对于广泛的便携式应用,可编程逻辑可满足您的需求
机译:一阶逻辑程序之间的等效性之争中的强大等效性和程序的结构
机译:集成电路可靠性模型及其在提高可编程逻辑器件可靠性方面的适用性。
机译:等效测试的逻辑及其在实验室医学中的应用
机译:辅助等效于氏逻辑与非单调逻辑编程
机译:逻辑等价验证装置,逻辑等价验证方法,逻辑等价验证程序和记录介质
机译:逻辑等效验证系统,逻辑等效验证方法,制造半导体集成电路的方法,控制程序和可读存储介质
机译:逻辑等价验证方法和逻辑等价验证程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。