雷纳尔德·阿弗尔德;马纳布哈吉瓦拉;乔纳斯·塞尼泽格斯 香农定理的形式化。 (英文) Zbl 1315.68216号 J.汽车。推理 53,第1期,63-103(2014).MSC公司:68吨15 94甲17 94A24型 PDF格式BibTeX公司 XML格式引用 \textit{R.Affeldt}等人,J.Autom。推理53,No.1,63--103(2014;Zbl 1315.68216) 全文: 内政部
叶夫根尼·哈萨克夫;马库斯·科洛奇;弗朗蒂舍克·西蒙切克 令人难以置信的ELK。从多项式过程到使用(mathcal{EL})本体进行有效推理。 (英文) Zbl 1331.68216号 J.汽车。推理 53,第1期,1-61页(2014年).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kazakov}等人,J.Autom。推理53,No.1,1--61(2014;Zbl 1331.68216) 全文: 内政部