×

找到2个文档(结果1-2)

用于研究分布式任务可计算性的动态认知逻辑的简单复杂模型。 (英语) 兹比尔1498.03045

Orlandini,Andrea(编辑)等人,第九届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2018,德国萨尔布吕肯,2018年9月26日至28日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)27773-87(2018)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

筛选结果依据…

文档类型

出版年份