电脑体验，效果更佳

Kripke结构图谱-自然科学领域：

研究人员

郭航 沈云付 胡斌 高济 郑飞君 葛海通 王平 严晓浪

相关术语

命题μ演算 状态爆炸 符号模型检验 有穷系统 固定点 模型检测 多Agent系统 模型检验

标签云