退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在有界算术和搜索问题中见证函数
Mario Chiari; Jan Krajicek;
机译:见证有界算术和搜索问题中的函数
机译:多项式层次结构中的多项式本地搜索。 在有界算术的碎片中见证
机译:有界算术和改进见证的总搜索问题
机译:解决搜索问题复杂性的逻辑方法:证明复杂性,量化命题演算和有界算术。
机译:具有两个参数的算术和几何均值表示特殊拟算术均值的尖锐边界
机译:有界算术和改进见证中的总搜索问题
机译:哈希函数生成方法,哈希值算术方法,哈希函数生成设备,哈希值算术设备,哈希函数生成程序和哈希值算术程序
机译:CD播放机中具有曲目搜索功能的错误校正算术单元
机译:使用多级哈希函数的有界搜索时间的单独链接的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。