退出
我的积分:
中文文献批量获取
外文文献批量获取
刘慧云;
无;
期刊工作; 刊名变化; 类型; 期刊分类;
机译:子类型关系的完整性及其在等递归类型中的应用
机译:具有递归类型的系统F-omega,用于数据类型通用编程
机译:基于单辅助变量零的前两个矩的总体均值的改进的广义双采样差分类型和回归类型估计
机译:具有递归类型,类型参数和抽象类型的压缩签名
机译:归纳递归类型的封闭宇宙的完全泛型编程
机译:具有相关观测值和异构方差结构的回归类型检验的高效假设检验方法
机译:具有递归类型,类型参数和抽象类型的收缩签名
机译:运算环境中递归类型的关系解释
机译:化学分析及相关方法探讨
机译:归类处理设备,归类处理方法,归类处理程序记录介质和归类处理系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。