退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:有限秩相交类型的公有性和可判定类型推断
A. J. Kfoury; J. B. Wells;
机译:基础研究:使用扩展变量的相交类型的公有性和类型推断
机译:交叉口类型学科中的强规范化和类型推断
机译:GADT的完整和可确定的类型推断
机译:具有用户定义的多态关系运算符的语言中的类型推断,类型改进和类型简化。
机译:关于IX型胶原在软骨细胞外基质中的作用:IX型胶原位于胶原纤维的交叉点
机译:有限秩交会类型的公理与可判定类型推断
机译:使用类型间隔和推断方向在重载函数中泛型类型参数的推断
机译:使用类型间隔和推断方向的重载函数中的一般类型参数的类型推断
机译:确定例如来自汽车的多个预定轮廓的最佳速度轮廓,包括表征即将到来的十字路口的类型,以便根据公路类型和十字路口类型确定速度轮廓
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。