退出
我的积分:
中文文献批量获取
外文文献批量获取
师丽坤; 赵春娜; 关永; 施智平; 李晓娟; 叶世伟;
首都师范大学信息工程学院高可靠嵌入式系统技术北京市工程研究中心 北京 100048;
中国科学院研究生院信息科学与工程学院 北京 100049;
实数二项式系数; 高阶逻辑; 定理证明; HOL4; 分数阶微积分;
机译:HOL4中分数级PD控制系统的形式化
机译:HOL4中矩阵理论的形式化
机译:使用HOL4进行形式化线性密码分析
机译:HOL4中渐近符号的形式化
机译:独立样本t检验和Wilcoxon秩和检验在教育和心理学中真实数据集的非正态分布中的比较能力
机译:豚鼠对形式化和非形式化副Para虫抗原提取物的同质反应。
机译:HOL4中无上下文语法正规形式的形式化
机译:实数值代数几何:求多项式系统的所有实数解。
机译:实数区间多项式的实数因子判定方式,实数因子判定器,具有误差的实数多项式
机译:测量形式化设备,测量形式化方法和测量形式化程序
机译:业务形式化程序,业务形式化方法和业务形式化设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。