退出
我的积分:
中文文献批量获取
外文文献批量获取
金银秋;
无;
算法; 最小覆盖; 正确性证明;
机译:一种算法的正确性证明,提高了SEIDEL方法的收敛速率的估计
机译:Ben-Or随机共识算法的正确性证明
机译:数据库重构算法的正确性证明
机译:基于表面最小覆盖集的机器人内部工作流程规划算法
机译:模块化编译器及其正确性证明。
机译:一种改进的BM25算法用于基于共同词分析和杜鹃搜索的精密药物临床决策支持算法
机译:子集生成算法在基本枚举,背包和最小覆盖问题中的应用(算法:数学基础和应用)
机译:存在自由变量的推广:一种算法的机械检查正确性证明
机译:从正确性证明的变更和有效性中验证密钥的系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。