科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:合成函数仿函数基地的行为等效的完整逻辑
David Sprunger;
机译:终集合函子的代数中行为对等的完整逻辑
机译:关于赋集函子的表达共代数逻辑的一个注记
机译:最终函数的递归珊瑚
机译:完备集合函子的代数中行为对等的完整逻辑
机译:等效轨道。
机译:滚动循环放大平台组装的阻遏器逻辑模块以构建一组逻辑门
机译:关于有限集合函数的表达式代数逻辑的一个注记
机译:逻辑等价验证装置,逻辑等价验证方法,逻辑等价验证程序和记录介质
机译:逻辑等效验证系统,逻辑等效验证方法,制造半导体集成电路的方法,控制程序和可读存储介质
机译:逻辑等价验证方法和逻辑等价验证程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。