理查德·布斯;乔瓦尼·卡西尼;托马斯·梅耶;伊万·瓦尔津扎克 命题典型逻辑的理性蕴涵。 (英语) 兹比尔1478.68346 Artif公司。智力。 277,文章ID 103178,20 p.(2019).MSC公司:68T27型 03B60号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Booth}等人,Artif。智力。277,文章ID 103178,20 p.(2019;Zbl 1478.68346) 全文: 内政部 arXiv公司 链接
马蒂奥·卡斯蒂格利奥尼;阿尔贝托·马切西;尼古拉·加蒂;斯特凡诺·科尼格里奥 单身拥挤游戏中的领导力:什么是困难的,什么是容易的。 (英语) Zbl 1482.91015号 Artif公司。智力。 277,文章ID 103177,31 p.(2019).MSC公司:91A14号机组 91A68型 91A65型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Castiglioni}等人,Artif。智力。277,文章ID 103177,31 p.(2019;Zbl 1482.91015) 全文: 内政部 arXiv公司 链接
约瑟夫·霍尔珀(Joseph Y.Halpern)。 书评:J.珀尔,《为什么》。 (英语) 兹比尔1429.00004 Artif公司。智力。 277,文章ID 103175,第3页(2019年).MSC公司:00A17年 62-02 62A01型 97K70型 PDF格式BibTeX公司 XML格式引用 \textit{J.Y.Halpern},阿蒂夫。智力。277,文章ID 103175,3 p.(2019;Zbl 1429.00004) 全文: 内政部
萨尔瓦多卢卡斯 证明语义属性为一阶可满足性。 (英语) Zbl 1478.68356号 Artif公司。智力。 277,文章ID 103174,24 p.(2019).MSC公司:68T27型 68N17号 第68页,共15页 2012年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas},阿蒂夫。智力。277,文章ID 103174,24 p.(2019;Zbl 1478.68356) 全文: 内政部 链接
马蒂亚斯·霍恩;甘瑟·雷德尔;克里斯蒂安·布卢姆 具有一个公共和多个二级资源的作业排序:基于A*/beam搜索的anytime算法。 (英语) 兹比尔1478.90040 Artif公司。智力。 277,文章ID 103173,26 p.(2019).MSC公司:90B35型 2017年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Horn}等人,Artif。智力。277,文章ID 103173,26 p.(2019;Zbl 1478.90040) 全文: 内政部 链接
沃伊切赫,詹罗加;米查·纳皮克;达米安·库皮耶夫斯基;乌卡斯·米库尔斯基 不完全信息下战略能力的近似验证。 (英语) 兹比尔1478.68384 Artif公司。智力。 277,文章ID 103172,30 p.(2019).MSC公司:68T42型 03B44号 60年第68季度 91A26型 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}等人,Artif。智力。277,文章ID 103172,30 p.(2019;Zbl 1478.68384) 全文: 内政部 链接
Richard布斯;杰克·钱德勒 从迭代修订到迭代收缩:扩展哈珀恒等式。 (英语) Zbl 1478.03023号 Artif公司。智力。 277,文章ID 103171,20 p.(2019).MSC公司:03B42号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Booth}和\textit{J.Chandler},Artif。智力。277,文章ID 103171,20 p.(2019;Zbl 1478.03023) 全文: 内政部 链接
沃伊切赫,詹罗加;瓦迪姆·马尔沃内;阿尼埃洛·穆拉诺 天生的战略能力。 (英语) Zbl 1478.68385号 Artif公司。智力。 277,文章ID 103170,33 p.(2019).MSC公司:68T42型 03B44号 60年第68季度 68问题85 91A26型 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}等人,Artif。智力。277,文章ID 103170,33 p.(2019;Zbl 1478.68385) 全文: 内政部 链接
Segal Halevi,埃雷尔;瓦鲁特省苏克松邦 不可分割商品的民主公平分配。 (英语) Zbl 1482.91106号 Artif公司。智力。 277,文章ID 103167,38 p.(2019).MSC公司:91立方厘米32 PDF格式BibTeX公司 XML格式引用 \textit{E.Segal-Halevi}和\textit{W.Suksompong},Artif。智力。277,文章ID 103167,38页(2019;兹bl 1482.91106) 全文: 内政部 arXiv公司
沈义东;托马斯·艾特 确定析取逻辑程序的推理语义。 (英语) Zbl 1483.68061号 Artif公司。智力。 277,文章ID 103165,28 p.(2019).MSC公司:68N17号 65年第68季度 68问题55 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Y.-D.Shen}和\textit{T.Eiter},Artif。智力。277,文章ID 103165,28 p.(2019;Zbl 1483.68061) 全文: 内政部
Chong,Siang Yew;Tiňo,P。;何骏 共同进化系统和PageRank。 (英语) Zbl 1482.91064号 Artif公司。智力。 277,文章ID 103164,24 p.(2019).MSC公司:91B06型 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{S.-Y.Chong}等人,Artif。智力。277,文章ID 103164,24 p.(2019;Zbl 1482.91064) 全文: 内政部 链接