电脑体验，效果更佳

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

研究人员

古天龙 谢琦 陈莘萌 张广泉 张鹏程 周宇 杜惠敏 杨晓丽

相关术语

监控器 CTL 现实世界 高阶逻辑 并行计算模型 时态数据库 具体领域 BDD

标签云