退出
我的积分:
中文文献批量获取
外文文献批量获取
李德志; 杨茂祥;
不详;
线性代数方程; 统一算法; 类型;
机译:归纳类型和从属类型的高阶统一算法
机译:在加那利群岛的蒙特维德,比较机器学习算法的展位类型判别。
机译:分布式求解线性代数方程组的分布式算法。
机译:类型推断和统一:Wand算法及其周围的形式和非正式证明。
机译:通过基于遗传算法的变量选择近红外光谱和偏最小二乘判别分析提高了土壤类型识别
机译:寻找非线性代数方程组任意系统实解的符号数字方法
机译:非线性代数方程组的一种求解算法。
机译:聚焦误差信号的真实性确定设备,聚焦误差信号的真实性确定程序,存储聚焦误差信号的程序真实性确定的存储介质,聚焦误差信号的真实性确定方法,类型判断程序存储介质,介质的存储类型判别设备,该存储介质已经存储了类型确定程序存储介质以及该存储介质的类型判别方法
机译:确定真实性形成主体并确定真实性形式对作为中间体及其真实性判别方法
机译:自动调制类型判别装置和自动调制类型判别方法,用于判断许多不同的调制类型
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。