分数阶系统高阶逻辑形式化验证

分数阶系统是建立在分数阶微积分以及分数阶微积分方程理论上实际系统的数学模型。高阶逻辑定理证明方法是一...

2019.9