电脑体验，效果更佳

时态认知逻辑图谱-计算机领域：

研究人员

顾明 苏开乐 苏金树 吴立军 杨晋吉 陈清亮 骆翔宇 林璇 杨志华

相关术语

多智体系统 公告逻辑 OBDDs 自动机 安全协议验证 模型检测 和与积难题 同步时态认知模型 OBDD 逻辑 TMN密码协议 mu演算 符号模型检测 有界模型检测 入侵检测 协议验证 多主体系统

标签云