Nguyen、Hoang Nga;阿卜杜尔·拉基布 概率资源受限代理的形式化建模和验证。 (英语) Zbl 07800199号 逻辑语言信息。 32,第5号,829-859(2023).MSC公司:03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{H.N.Nguyen}和\textit{A.Rakib},J.Logic Lang.Inf.32,No.5,829--859(2023;Zbl 07800199) 全文: 内政部 OA许可证
托马斯·奥戈特内斯;德克·沃尔特 有限记忆下的战略能力逻辑。 (英语) Zbl 1163.68037号 逻辑语言信息。 18,第1期,55-77(2009).MSC公司:68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.Ågotnes}和\textit{D.Walther},《逻辑语言》杂志,第18期,第1期,55-77页(2009年;Zbl 1163.68037) 全文: 内政部