定理证明

高阶逻辑论文-赵春娜,陈大力
导读:本文包含了高阶逻辑论文开题报告文献综述及选题提纲参考文献，主要关键词:分数阶PI控制器,形式化验证,定理证明,HOL4高阶逻辑论文文献综述赵春娜,陈大力[1]（2019）...