Aranda-Corral，冈萨罗A。（编辑）;雅克·卡梅特（编辑）;Martín-Mateos，Francisco J。（编辑） 人工智能和符号计算。2014年12月11-13日在西班牙塞维利亚举行的2014年AISC第十二届国际会议。诉讼程序。 （英语） Zbl 1302.68009号 计算机科学课堂讲稿8884.人工智能课堂讲稿。查姆：施普林格（ISBN 978-3-319-13769-8/pbk）。x、 205页。(2014).MSC公司：68-06 68泰克 68瓦30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.A.Aranda-Corral}（编辑）等人，《人工智能和符号计算》。2014年12月11-13日在西班牙塞维利亚举行的2014年AISC第十二届国际会议。诉讼程序。查姆：施普林格（2014；Zbl 1302.68009） 全文： 内政部
雅克·卡雷特（编辑）;大卫·阿斯皮纳尔（编辑）;克里斯托夫·兰格（编辑）;彼得·索伊卡（编辑）;沃尔夫冈·温斯特伊格（编辑） 智能计算机数学。MKM、Calculemus、DML以及2013年系统和项目，作为2013年CICM的一部分，于2013年7月8日至12日在英国巴斯举行。诉讼程序。 （英语） Zbl 1268.68008号 计算机科学课堂讲稿7961.人工智能课堂讲稿。柏林：施普林格出版社（ISBN 978-3-642-39319-8/pbk）。xv，第384页。(2013).MSC公司：68-06 68泰克 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}（编辑）等人，《智能计算机数学》。MKM、Calculemus、DML以及2013年系统和项目，作为2013年CICM的一部分，于2013年7月8日至12日在英国巴斯举行。诉讼程序。柏林：施普林格出版社（2013；Zbl 1268.68008） 全文： 内政部