丸山晃生, 東条敏, 小野寛晰: "マルチエージェントモデルのための時相論理とその効率的な証明手続き"コンピュータソフトウェア. 20・1. 51-65 (2003)
丸山晃生, 東条敏, 小野寛晰: "マルチエージェントモデルのための時相論理とその効率的な証明手続き"コンピュータソフトウェア. 20・1. 51-65 (2003)
复制标题
Akio Maruyama、Satoshi Tojo、Hiroaki Ono：“多智能体模型的时间逻辑及其高效证明过程”计算机软件 20・1（2003 年）。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
