退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:关于随机本地搜索技术的使用来修改示例的一阶逻辑理论
Aline Paes; Gerson Zaverucha; Vítor Santos Costa;
机译:关于使用随机局部搜索技术从示例中修改一阶逻辑理论
机译:局部电化学技术:腐蚀研究的理论和实例
机译:命题和一阶模态逻辑的替代翻译技术
机译:通过示例通过随机局部搜索修订一阶逻辑理论
机译:具有相关排序(FOLDS)的一阶逻辑的最终语言和最终语言的基本模型理论。
机译:一阶逻辑理论用于治疗合并症患者的临床实践指南:一个案例研究
机译:命题逻辑的局部搜索技术扩展了 基数约束
机译:一阶谓词逻辑模型理论及相关时态逻辑
机译:信息共享系统进化计算搜索策略的随机优化技术
机译:使用多部分效用函数和本地搜索在计算机中进行随机动态编程以有效地计算资产分配和消耗
机译:高速方法和直接使用随机方法进行本地搜索的优化视频处理系统设计的装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。