退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:类型理论中具有继承性的键入算法
Amokrane Saibi;
机译:具有单例类型和证明不相关性的类型理论的模块化类型检查算法
机译:算法信息论可解释1型强直性营养不良(和类似疾病)中DNA重复的致病性数目
机译:类型化答案集编程Lambda演算理论及其反Lambda算法的正确性
机译:类型理论中继承的打字算法
机译:对内核LARS型和SVM型算法产生的模型的实证研究。
机译:Logistic回归在临床环境中优化的机器学习算法具有类似的性能:应用于1型和年轻成年人的2型糖尿病之间的歧视
机译:具有继承性的类型论中的分类算法
机译:1.手动绕线式百叶窗(MR.No.40型),2.半自动绕线式百叶窗(MR.No.41型),3.全自动绕线式百叶窗(MR.No.42型) ,4.盲存储盒(MR.No. 43型),5.弯钩止动板(MR.No. 44),6.半自动防雨罩和波纹管盲板(MR.No. 45) )
机译:算法可变型加密设备,算法可变型加密设备,算法可变型加密方法,算法可变型加密方法和程序
机译:一张床(MR.THEORY NO.410),学校建筑营地表(MR.THEORY NO.411),学校建筑携带床单(MR.THEORY NO.412)和卷装式床单和滑门(MR。理论第413号)
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。