迪迪埃·加米歇（编辑）;斯蒂芬·舒尔茨（编辑）;罗伯托·塞巴斯蒂亚尼（编辑） 前言：2018年国际癌症研究理事会（IJCAR）精选扩展论文专刊。 （英语） Zbl 1468.68014号 J.汽车。推理 64，第7期，1165-1167（2020）.MSC公司：68-06 68伏15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Galmiche}（编辑）等，J.Autom。推理64，No.7，1165--1167（2020；Zbl 1468.68014） 全文： 内政部
迪迪埃·加米歇（编辑）;斯蒂芬·舒尔茨（编辑）;罗伯托·塞巴斯蒂亚尼（编辑） 自动推理。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；兹比尔1391.68006） 全文： 内政部