云南高校图书馆联盟文献共享服务平台- 检索结果

检索结果分析

检索条件："关键词=实数二项式系数 "

共条记录，以下是1-1

全选清除导出

视图：

排序：

显示条数：

实数二项式系数在HOL4中的形式化被引量：1: 《计算机科学》2014年第2期15-18,共4页师丽坤赵春娜关永施智平李晓娟叶世伟; 国际科技合作计划(2010DFB10930;2011DFG13000);国家自然科学基金项目(6087 3006;61070049;61170304;61104035;61174145;61201378);北京市自然科学基金;北京市优秀人才项目(4122017;KZ201210028036;KM2010 10028021;2012D005016000011)资助; 定理证明是一种形式化方法,在高可靠性系统验证中起着越来越重要的作用。分数阶微积分是高可靠性系统分析的基础,实数二项式系数是分数阶微积分定义的重要组成部分。在高阶逻辑定理库中还没有实数二项式系数的形式化。提出实数二项式系...; 关键词：实数二项式系数高阶逻辑定理证明 HOL4 分数阶微积分

全选清除导出

共1页<1>