退出
我的积分:
中文文献批量获取
外文文献批量获取
吴海洋;
无;
溶质质量分数; 溶液; 类型; 归纳; 概念; 计算; 产生;
机译:用于归纳和共归计算的全局语义类型
机译:归纳和共归类型的按值调用和按名称调用对偶计算
机译:在立体类型理论中构造归纳-归纳类型
机译:归纳递归类型的封闭宇宙的完全泛型编程
机译:前提类型如何调节基于类别的归纳中的典型性效应:来自P2P3和LPC效应的证据不一
机译:具有归纳和归纳的按值调用和按名称呼叫双重计算 共同类型
机译:部分类型的定点归纳的可容许性
机译:如何应用归纳干扰部署,归纳干扰部署系统和计算机程序产品
机译:引导系统,服务器计算机,归纳方法,归纳程序和记录介质
机译:归纳确定增量轮永磁齿绝对位置的方法,涉及基于正切类型和余弦类型的位置信号,通过反正切关系确定发射器元件的角度位置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。