塔马斯·文科;赫尔加·纳泽尔 基于信誉的P2P社区的可持续性。 (英语) Zbl 1339.68023号 CEJOR,美分。欧洲药典。物件。 23,第4期,953-967(2015).MSC公司:68米14 90B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{T.Vinkó}和\textit{H.Najzer},CEJOR,Cent。欧洲药典。第23号决议,第4号,953-967(2015;Zbl 1339.68023) 全文: 内政部 链接
马丁·范策尔;迈克尔·汉森。;海因里希·奥迪 没必要认识很多邻居。实现MLSL的可实现解释。 (英语) Zbl 1444.68181号 Meyer,Roland(编辑)等人,《正确的系统设计》。2015年9月8日至9日,德国奥尔登堡,为纪念Ernst-Rüdiger Olderog 60岁生日而举办的研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9360, 152-171 (2015).MSC公司:68T27型 68T20型 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人,Lect。注释计算。科学。9360、152--171(2015年;Zbl 1444.68181) 全文: 内政部
法比奥·科兹曼。;卢卡斯·法戈尼·迪伊安尼 通过整数规划进行概率可满足性和一致性检查。 (英语) Zbl 1328.68193号 国际J近似推理 58,57-70(2015).MSC公司:68T20型 68层37 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.G.Cozman}和\textit{L.Fargoni di Ianni},《国际近似推理》58,57-70(2015;Zbl 1328.68193) 全文: 内政部 链接