迪迪埃·加米歇(编辑);斯蒂芬·舒尔茨(编辑);罗伯托·塞巴斯蒂安(编辑) 自动推理。2018年7月14日至17日在英国牛津举行的第九届国际联合会议IJCAR 2018,作为联邦逻辑会议的一部分。诉讼程序。 (英语) Zbl 1391.68006号 计算机科学课堂讲稿人工智能课堂讲稿。查姆:施普林格(ISBN 978-3-319-94204-9/pbk;978-3-316-94205-6/电子书)。十八、724页。(2018).MSC公司:68-06 第68页第15页 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Galmiche}(编辑)等人,《自动推理》。2018年7月14-17日在英国牛津举行的第九届国际联合会议IJCAR 2018,作为联邦逻辑会议的一部分。诉讼程序。查姆:施普林格(2018;Zbl 1391.68006) 全文: 内政部
亚历山德罗·西马蒂(编辑);罗伯托·塞巴斯蒂安(编辑) 满意度测试的理论和应用——2012年SAT。第15届国际会议,2012年6月17日至20日,意大利特伦托。诉讼程序。 (英语) Zbl 1268.68009号 计算机科学课堂讲稿7317.柏林:施普林格出版社(ISBN 978-3-642-31611-1/pbk)。xiii,504页。(2012年)。MSC公司:68-06 65年第68季度 68T20型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}(编辑)和\textit{R.Sebastiani}(编),可满足性测试的理论和应用--SAT 2012。第15届国际会议,2012年6月17日至20日,意大利特伦托。诉讼程序。柏林:施普林格出版社(2012;Zbl 1268.68009) 全文: 内政部
西尔维奥·吉拉尔迪(编辑);罗伯托·塞巴斯蒂安(编辑) 组合系统的前沿。第七届国际研讨会,FroCoS 2009,意大利特伦托,2009年9月16-18日。诉讼程序。 (英语) Zbl 1178.68010号 计算机科学课堂讲稿人工智能课堂讲稿。柏林:施普林格出版社(ISBN 978-3-642-04221-8/pbk)。x、 第383页。(2009).MSC公司:68-06 68泰克 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}(编辑)和\textit{R.Sebastiani}。第七届国际研讨会,FroCoS 2009,意大利特伦托,2009年9月16-18日。诉讼程序。柏林:施普林格出版社(2009;Zbl 1178.68010) 全文: 内政部
库克,B。(编辑);R·塞巴斯蒂亚尼。(编辑) 第四次自动推理中决策程序的语用学研讨会(PDPAR 2006)和第一次概率自动机和逻辑国际研讨会(PaUL 2006)的联合会议记录,西雅图,华盛顿州,美国,2006年8月。 (英语) Zbl 1273.68022号 理论计算机科学电子笔记174,第8号。阿姆斯特丹:爱思唯尔。108页。,仅电子版(2007年)。MSC公司:68-06 03B35型 60年第68季度 第68页第15页 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{B.Cook}(编辑)和textit{R.Sebastiani}(编),第四届自动推理中决策过程语用学研讨会(PDPAR 2006)和第一届概率自动机和逻辑国际研讨会(PaUL 2006)的联合会议记录,西雅图,华盛顿州,美国,2006年8月。阿姆斯特丹:爱思唯尔(2007;Zbl 1273.68022) 全文: 链接