退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:关于包含删除和动态cnf简化
Lintao Zhang;
机译:通过按立方体顶点可修改性检测,快速简化大型等值面
机译:在CNF上模拟电路级简化
机译:基于命题可满足性和自适应变量插入的CNF简化的多循环路径检测
机译:取消包含和动态CNF简化
机译:活性污泥工艺中COD和氨去除的简化模型。
机译:光学手术导航用夹板去除异物以简化注册过程:一个病例报告
机译:基于二进位蕴涵图的有效CNF简化
机译:基于简化格子的自适应IIR陷波滤波器从心电图中去除电力线干扰。
机译:将CNF简化技术应用于基于SAT的抽象细化
机译:放射性同位素的简化去除方法,含铁和钛的材料处理方法以及一种或多种杂质的简化去除方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。