亚当·特雷布斯 三维仿射空间逻辑。 (英语) Zbl 07659706号 日志。Univers大学。 16,第4号,603-620(2022).MSC公司:03B10号机组 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Trybus},日志。通用。16、编号4、603--620(2022;Zbl 07659706) 全文: 内政部
马库斯·谢弗;丹尼尔·什·特凡科维奇 不动点、纳什均衡和实存在论。 (英语) Zbl 1362.68088号 理论计算。系统。 60,第2期,172-193(2017).MSC公司:2015年第68季度 03年2月25日 03C07号机组 第14页 54H25个 91A10号 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{M.Schaefer}和\textit{D.Štefanković},理论计算。系统。60,第2号,172--193(2017;Zbl 1362.68088) 全文: 内政部
亚当·特雷布斯 基于有理区域的真实平面仿射逻辑。 (英语) Zbl 1367.68294号 ACM事务处理。计算。日志。 17,第3号,第21条,第18页(2016年).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Trybus},ACM翻译。计算。日志。17,第3号,第21条,第18页(2016年;Zbl 1367.68294) 全文: 内政部
李三江;龙志国;刘伟明;Duckham,马特;都是,艾伦 冗余拓扑约束。 (英语) Zbl 1343.68234号 Artif公司。智力。 225,51-76(2015).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{S.Li}等人,Artif。智力。225、51-76(2015;Zbl 1343.68234) 全文: 内政部 arXiv公司
史蒂文·肖卡特;李三江 使用凸区域实现RCC8网络。 (英语) 兹比尔1319.68212 Artif公司。智力。 218, 74-105 (2015).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{S.Schockaert}和\textit{S.Li},Artif。智力。21874--105(2015;Zbl 1319.68212) 全文: 内政部 arXiv公司
罗马人孔查科夫;伊恩·普拉特·哈特曼;扎卡里亚舍夫,迈克尔 欧几里德空间中带(mathcal{RCC}8\)和连通约束的空间推理。 (英语) Zbl 1408.68138号 Artif公司。智力。 217, 43-75 (2014).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{R.Kontchakov}等人,Artif。智力。217、43——75(2014年;Zbl 1408.68138) 全文: 内政部
斯特凡诺·博尔戈;克劳迪奥·马索洛 完整的几何图形。 (英语) Zbl 1208.51012号 版本符号。日志。 3,第4期,521-567(2010). 审核人:维克托·潘布奇(凤凰城) MSC公司:2005年5月5日 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{S.Borgo}和\textit{C.Masolo},Rev.Symb。日志。3,第4号,521--567(2010;Zbl 1208.51012) 全文: 内政部