梅格纳·洛瓦利卡;Pradeep瓦拉坎塔姆;帕特里克·贾利特 随机域和动态域中的在线时空匹配。 (英语) Zbl 1448.90020号 Artif公司。智力。 261, 71-112 (2018).MSC公司:90B06型 68周27 90立方厘米 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Lowalekar}等人,Artif。智力。261、71——112(2018年;Zbl 1448.90020) 全文: 内政部
哈拉尔德·贝克;明州道特兰;托马斯·艾特 LARS:基于逻辑的流分析推理框架。 (英语) Zbl 1448.68395号 Artif公司。智力。 261, 16-70 (2018).MSC公司:第68页第27页 68N17号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{H.Beck}等人,Artif。智力。261、16-70(2018年;Zbl 1448.68395) 全文: 内政部
埃戈尔·伊诺夫斯基;卢克·翁 两人布尔博弈中关于均衡的决策问题的复杂性。 (英语) Zbl 1452.91012号 Artif公司。智力。 261, 1-15 (2018).MSC公司:91A05型 91A35型 91A68型 PDF格式BibTeX公司 XML格式引用 \textit{E.Ianovski}和\textit{L.Ong},Artif。智力。261,1--15(2018;Zbl 1452.91012) 全文: 内政部 链接