科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
LV Xing-li; 吕兴利; SHI Zhi-ping; 施智平; LI Xiao-juan; 李晓娟; GUAN Yong; 关永; YE Shi-wei; 叶世伟; ZHANG Jie; 张杰;
湖北省计算机学会;
连续傅里叶变换; 高阶逻辑定理; 形式化方法; 电阻电感电容; 串联谐振电路; 频率响应;
机译:高阶逻辑中可靠性框图的形式化
机译:保形几何代数的高阶逻辑形式化及其在验证机器人操纵算法中的应用
机译:高阶逻辑语义,稳健性和经过验证的实现的自形式化
机译:高阶逻辑定理证明中的分式流分量的形式化
机译:Topoi中的逻辑:高阶逻辑的函数语义
机译:执行逻辑计算的细菌联盟的形式化设计过程
机译:错误到:在高阶逻辑中的故障树形形式化:深度嵌入方法
机译:中心 - 连续横向(CTs)阵列:基础理论,实验和应用。
机译:逻辑网络的半自动设计程序-使用计算机化的最终设计阶段,在此阶段中采用形式化代码来生成最终逻辑图
机译:可编程逻辑器件架构,具有组合相邻逻辑元素以执行高阶逻辑功能的能力
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。