科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:叠加模拟了肖斯塔克理论
Harald Ganzinger; Thomas Hillenbrand; Uwe Waldmann;
机译:规范化重写和地面交流电完成模Shostak理论:设计和实现
机译:SMELS:具有懒惰叠加的可满足性模等式
机译:量子叠加/社会叠加与经典社会学理论
机译:叠加模Shostak理论
机译:统一模数公用列表函数讨论观察者理论的各种组合的模数复杂性和可判定性
机译:点剂量测量用于验证治疗计划系统的本地异形骨盆幻影用于Clarkson卷积叠加和快速叠加算法
机译:叠加应用以现有平板为模,并且叠加应用为null
机译:基于可满足性模块理论的基于程序的电源管理装置,电源系统及电源管理方法
机译:使用非解释函数符号的可满足度模块理论过程的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。