阿诺德·贝克曼;帕维尔·普德拉克;尼尔·萨彭 奇偶博弈和命题证明。 (英文) Zbl 1291.03111号 ACM事务处理。计算。日志。 第15号第2条第17条第30页(2014年).MSC公司:20层03 03B35型 91A15型 91A46型 PDF格式BibTeX公司 XML格式引用 \textit{A.Beckmann}等人,ACM Trans。计算。日志。15,第2号,第17条,第30页(2014;Zbl 1291.03111) 全文: 内政部
克里希南德·查特吉;劳伦特·多恩 部分观察随机博弈,信念失败时如何取胜。 (英文) Zbl 1291.91021号 ACM事务处理。计算。日志。 第15号第2条第16条第44页(2014年).MSC公司:91A15型 2017年第68季度 91A43型 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{L.Doyen},ACM Trans。计算。日志。第15条第2款第16条第44页(2014年;Zbl 1291.91021) 全文: 内政部
博利格,贝内迪克特;保罗·加斯丁;本杰明·蒙梅格;马克·泽顿 卵石加权自动机和加权逻辑。 (英文) Zbl 1291.03076号 ACM事务处理。计算。日志。 15,第2号,第15条,第35页(2014).MSC公司:05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人,ACM Trans。计算。日志。15,第2号,第15条,第35页(2014;Zbl 1291.03076) 全文: 内政部 哈尔
冯、袁;邓玉欣;英明生 量子过程的符号互模拟。 (英文) Zbl 1291.68237号 ACM事务处理。计算。日志。 第15号第2条第14条第32页(2014年).MSC公司:68问题55 68问题85 81第68页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Feng}等人,ACM Trans。计算。日志。15,第2号,第14条,第32页(2014;Zbl 1291.68237) 全文: 内政部 arXiv公司
辛迪·艾斯纳;达纳·菲斯曼;约翰·哈夫利切克 安全性与活力、弱点与实力以及潜在的拓扑关系。 (英文) 兹比尔1291.03028 ACM事务处理。计算。日志。 第15号第2条第13条第44页(2014年).MSC公司:03B44号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisner}等人,ACM Trans。计算。日志。15,第2号,第13条,第44页(2014;Zbl 1291.03028) 全文: 内政部
儿子Tran Cao;恩里科·蓬泰利;Nguyen、Ngoc-Heeu;恰基萨卡马 使用逻辑编程使谈判正规化。 (英文) Zbl 1291.68386号 ACM事务处理。计算。日志。 第15号第2条第12条第30页(2014年).MSC公司:68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.C.Son}等人,ACM Trans。计算。日志。15,第2号,第12条,第30页(2014年;Zbl 1291.68386) 全文: 内政部
弗农·亚松森;张燕;周毅 首选一阶答案集程序。 (英文) Zbl 1291.68381号 ACM事务处理。计算。日志。 第15号第2条第11条第42页(2014年).MSC公司:68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{V.Asuncion}等人,ACM Trans。计算。日志。15,第2号,第11条,第42页(2014年;Zbl 1291.68381) 全文: 内政部