退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:等价推理与延迟子句范式转换的叠加
Ganzinger Harald; Stuber Jürgen;
机译:3D共形变换的等价属性及其在反转变换中的应用
机译:保留序半群上的格林等价关系和等价关系
机译:上下文等效和上下文无关的范式。
机译:通过刚体转换将分子结构同时多重叠加。
机译:marylie代码使用的michelotti正规形式和地图正规形式的等价性。
机译:用于利用抽象和变换确定网表等效性的系统,方法和计算机程序产品
机译:重新计时的范式在流水线设计的抽象RTL描述的形式等效验证中的应用
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。