有界模型检测同步多智体系统的时态认知逻辑
new
有界模型检测同步多智体系统的时态认知逻辑的英文翻译
基本释义
Bounded Model Checking for Temporal Epistemic Logic in Synchronous Multi-Agent Systems
有界模型检测同步多智体系统的时态认知逻辑的相关资料:
临近单词
有
有丝分裂检查点
目录
查词历史
英 汉