退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在可计算地枚举套件的轨道上
PETER A. CHOLAK; RODNEY DOWNEY; LEO A. HARRINGTON;
ORBITS; COMPUTABLY ENUMERABLE SETS; inclusion;
机译:可编码集和可计算枚举集的轨道
机译:可计算枚举集的扩展定理,轨道和自同构
机译:可计算数值集的轨道复杂度
机译:一些可计算集的谱表示及其在量子可证明性中的应用
机译:模式避免以及集合划分和渐近均匀性理论中的渐近枚举。
机译:枚举玉米种质中的植酸含量和参考组的制剂以增强低植酸的育种
机译:可数集的轨道:低位的集可以避免上锥
机译:电子轨道计算设备,电子轨道计算设备的控制方法,电子轨道计算设备的控制程序以及存储介质
机译:隐含指令集计算(IISC)/双指令集计算(DISC)/单指令集计算(SISC)/恢复基于多个指令集计算(RMISC)的计算机器/装置/处理器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。