电脑体验，效果更佳

形式系统图谱-计算机领域：

研究人员

冯登国 曹存根 张晓如 黄智生 季庆光 张再跃 眭跃飞 杨冠平

相关术语

模糊约束 抽象体系 机器证明 等值置换 安全性质 逻辑定理 命题模态逻辑 安全协议 可满足性 模态逻辑 形式模型 推理规则 模糊推理

标签云