退出
我的积分:
中文文献批量获取
外文文献批量获取
黄文集;
中国科学院;
软件研究所;
北京;
100080;
研究生院;
100039;
函数式语言; 多态; 类型检查; 递归函数; 类型系统;
机译:关于一类可逆的原始递归函数及其图灵完备的扩展
机译:一类可逆的原始递归函数
机译:表征为一类实数递归函数的递归分析
机译:让数据模型等同于一类总递归函数
机译:具有用户定义的多态关系运算符的语言中的类型推断,类型改进和类型简化。
机译:同一类型中同时存在不同类型的淀粉样蛋白耐心
机译:用一类多态值进行类型重构
机译:为第二类型网络中的第一类型网络的网络站提供输入参数的方法,以及用于连接第一类型网络和第二类型网络的连接单元
机译:用于与第一类型的第二类型网络的网络连接的连接单元和用于控制第一类型的网络中第二网络站点的网络类型的网络站点的方法
机译:第一类型网络内部网络局从第二类型网络内部网络局和连接单元控制的方法用于第一类型网络与第二类型网络的连接
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。