退出
我的积分:
中文文献批量获取
外文文献批量获取
赵春娜; 赵刚;
云南大学信息学院 昆明 650500;
函数极限; 高阶逻辑; 形式化验证; 定理证明; 卷积;
机译:保形几何代数的高阶逻辑形式化及其在验证机器人操纵算法中的应用
机译:高阶逻辑语义,稳健性和经过验证的实现的自形式化
机译:在高阶逻辑中将数学形式化:几何建模中的案例研究
机译:使用高阶数值方法和离散事件检测在混合逻辑中对混合系统进行形式化建模和分析
机译:Topoi中的逻辑:高阶逻辑的函数语义
机译:睡眠体系马尔可夫链模型中的多项逻辑函数:内部和外部验证以及协变量分析
机译:高阶逻辑的自形式化:语义,健全性和经过验证的实现
机译:处理器验证使用有效减少未解释函数的逻辑到命题逻辑
机译:使用形式化技术对交换网络逻辑进行设计验证
机译:用于确定模糊逻辑处理的隶属函数的建模装置和建模方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。