保罗·费拉里斯;Lee,Joohyng先生;尤利亚·利勒;弗拉基米尔·利夫希茨;杨芳凯 用逻辑程序表示一阶因果理论。 (英语) Zbl 1247.68043号 理论与实践。日志。程序。 12,第3期,383-412(2012).MSC公司:68N17号 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{P.Ferraris}等人,《理论与实践》。日志。程序。12,第3号,383--412(2012;Zbl 1247.68043) 全文: 内政部
法拉利,保罗;Lee,Joohyng先生;弗拉基米尔·利夫希茨 稳定模型和范围。 (英语) Zbl 1227.68103号 Artif公司。智力。 175,第1期,236-263(2011). 审核人:亚历克斯·纳贝宾(莫斯科) MSC公司:68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Ferraris}等人,Artif。因特尔。175,第1号,236--263(2011;Zbl 1227.68103) 全文: 内政部
保罗·费拉里斯;Lee,Joohyng先生;弗拉基米尔·利夫希茨 Lin-Zhao定理的推广。 (英语) 兹比尔1105.68015 安。数学。Artif公司。智力。 47,编号1-2,79-101(2006).MSC公司:68N17号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Ferraris}等人,Ann.Math。Artif公司。因特尔。47,编号1--2,79-101(2006;Zbl 1105.68015) 全文: 内政部