退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:将外部扣除工具与ACL2集成
Kaufmann Matt; J Strother Moore; Ray Sandip; Reeber Erik;
机译:将外部演绎工具与Acl2集成
机译:正确的工作工具:使用ACL2和HOL4证明减少影响锥的正确性
机译:使用AIMSUN交通模拟器作为评估CAV对交通影响的工具的外部车辆运动模拟
机译:整合HOL和ACL2
机译:CATDS(计算机辅助工具设计系统):开发集成体系结构,以结合粉末冶金工具设计知识和常规计算机辅助设计系统。
机译:用于检测和推导曲霉菌种的唑类抗真菌药物耐药表型的分子工具
机译:将外部扣减工具与aCL2集成
机译:将收入扣除支付技术与互联网电子商务和辅助系统集成的系统和方法
机译:集成互联网电子商务和辅助系统的收入扣除支付技术的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。