退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在2CNF条款系统中查找一次性分辨率反驳
Hans Kleine Büning; Piotr Wojciechowski; K. Subramani;
机译:在找到短分辨率的反驳和不满意的小的子集时
机译:差分约束系统中最佳长度分辨率反驳的改进算法
机译:查找一次性NAE解决方案引用的复杂性
机译:对分辨率反驳的疑问解答。
机译:标记的插值系统用于超分辨率从句和局部证明
机译:在找到短分辨率的反驳和小的不满意子集时
机译:与解决通用安全问题120相关的技术发现,保护系统的在线可测性
机译:用于改善固态光检测和测距(LIDAR)分辨率的固态光检测和测距查找(LIDAR)系统,系统和方法。
机译:风险分析系统和方法,保险设计系统和方法,保险条款准备方法,在计算机上运行的风险分析程序以及用保险设计程序或保险条款准备程序记录的媒体
机译:凸轮从句系统和凸轮从句装配
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。