“自动推理-第九届国际联合会议,2018年IJCAR,举行……”
迪迪埃·加尔米奇 , 斯蒂芬·舒尔茨 , 罗伯托·塞巴斯蒂亚尼 :
自动推理——2018年第九届国际联合会议,IJCAR,作为联邦逻辑会议的一部分,2018年7月14日至17日在英国牛津举行,会议记录。 计算机科学课堂讲稿 10900, 施普林格 2018 ,国际标准图书编号 978-3-319-94204-9 [目录]
由于引用数据不可用,以下列表可能不完整, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。