搜索筛选:
搜索耗时0.0432秒,为你在为你在61,042,058篇论文里面共找到 1 篇相符的论文内容
类      型:
[期刊论文] 作者:师丽坤,赵春娜,关永,施智平,李晓娟,叶世伟, 来源:计算机科学 年份:2014
定理证明是一种形式化方法,在高可靠性系统验证中起着越来越重要的作用。分数阶微积分是高可靠性系统分析的基础,实数二项式系数是分数阶微积分定义的重要组成部分。在高阶逻辑......
相关搜索: