退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:功能逻辑程序的两种形式语义的等效
López-Fraguas F.J.; Rodríguez-Hortalá J.; Sánchez-Hernández J.;
机译:论逻辑程序设计语义与论证语义之间的对等
机译:无限值语义下逻辑程序的强等价
机译:Orc的可执行重写逻辑语义和Orc程序的形式分析
机译:论逻辑程序设计语义学与论证语义学的对等
机译:基于等效验证的异步睡眠会议逻辑电路的正式验证方法
机译:是否存在维持神经元功能完整性和生存的分子逻辑?:脂质信号传导对于神经保护性神经元转录程序是必需的。
机译:功能逻辑程序的两种形式语义的等价性
机译:逻辑等价验证装置,逻辑等价验证方法,逻辑等价验证程序和记录介质
机译:逻辑等效验证系统,逻辑等效验证方法,制造半导体集成电路的方法,控制程序和可读存储介质
机译:逻辑等价验证方法和逻辑等价验证程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。