退出
我的积分:
中文文献批量获取
外文文献批量获取
张晓如; 张再跃;
江苏科技大学电子信息学院;
过程模式可计算泛函; 部分递归泛函; 无穷计算;
机译:基于可计算性理论的强宇宙审查猜想的Geroch-Horowitz-Penrose公式的证明
机译:无法含有超智意识:从可计算性理论的课程
机译:Pincherle在逆向数学和可计算性理论中的定理
机译:领域理论的逆数学与可计算性理论
机译:有些结果在可计算性理论
机译:使用局部相对自旋ansatz的接近化学精度的快速双杂化密度泛函方法
机译:可计算性理论对结构的相对化
机译:通过可实现性开发类型和可计算性理论
机译:将量规转移到过程模式和退出过程模式的安排
机译:振动分析仪,可计算刀具相对于工件的振动周期
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。