雅克·弗莱里奥特（编辑）;王东明（编辑）;雅克·卡梅特（编辑） 人工智能和符号计算。第13届国际会议，AISC 2018，中国苏州，2018年9月16日至19日。诉讼程序。 （英语） Zbl 1396.68012号 计算机科学课堂讲稿11110.人工智能课堂讲稿。查姆：施普林格（ISBN 978-3-319-99956-2/pbk；978-3-3169-99957-9/电子书）。x、 第269页。（2018）。MSC公司：68-06 68泰克 68瓦30 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{J.Fleuriot}（编辑）等人，《人工智能和符号计算》。2018年9月16日至19日，第13届AISC国际会议，中国苏州。诉讼程序。查姆：施普林格（2018；Zbl 1396.68012） 全文： DOI程序
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 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{G.A.Aranda-Corral}（编辑）等人，《人工智能和符号计算》。2014年12月11-13日在西班牙塞维利亚举行的2014年AISC第十二届国际会议。诉讼程序。查姆：施普林格（2014；Zbl 1302.68009） 全文： DOI程序
谢尔盖·奥特西尔（编辑）;雅克·卡梅特（编辑）;大卫·德拉哈耶（编辑）;帕特里克·D·F·伊恩。（编辑）;劳伦斯·里多（编辑）;雷诺·里奥博（编辑）;艾伦·P·塞克斯顿。（编辑） 智能计算机数学。2010年7月5日至10日，第十届国际会议，AISC 2010，第十七届研讨会，Calculemus 2010，第九届国际会议MKM 2010，法国巴黎。诉讼程序。 （英语） Zbl 1194.68011号 计算机科学课堂讲稿人工智能课堂讲稿。柏林：施普林格出版社（ISBN 978-3-642-14127-0/pbk）。xv，第471页。(2010).MSC公司：68-06 68泰克 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{S.Autexier}（编辑）等人，《智能计算机数学》。2010年7月5日至10日，第十届国际会议，AISC 2010，第十七次研讨会，Calculemus 2010，第九次国际会议，MKM 2010，法国巴黎。诉讼程序。柏林：施普林格出版社（2010；Zbl 1194.68011） 全文： DOI程序
雅克·卡梅特（编辑）;威利·盖塞尔曼（编辑）;纽伦·穆勒·奎德（编辑） 计算机科学中的数学方法。纪念托马斯·贝思的文章。 （英语） Zbl 1154.68005号 计算机科学课堂讲稿5393.柏林：施普林格出版社（ISBN 978-3-540-89993-8/pbk）。xii，191页。(2008).MSC公司：68-06 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Calmet}（编辑）等人，《计算机科学中的数学方法》。纪念托马斯·贝思的文章。柏林：施普林格出版社（2008；Zbl 1154.68005） 全文： DOI程序
雅克·卡梅特（编辑）;艾达、铁雄（编辑）;王东明（编辑） 人工智能和符号计算。第八届国际会议，2006年AISC，中国北京，2006年9月20日至22日。诉讼程序。 （英语） Zbl 1149.68005号 计算机科学课堂讲稿4120.人工智能讲义。柏林：施普林格出版社（ISBN 978-3-540-39728-1/pbk）。xiii，第269页。(2006).MSC公司：68-06 68泰克 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{J.Calmet}（编辑）等人，《人工智能和符号计算》。第八届国际会议，2006年AISC，中国北京，2006年9月20日至22日。诉讼程序。柏林：施普林格出版社（2006；Zbl 1149.68005） 全文： DOI程序
雅克·卡梅特（编辑）;贝莱德·本哈莫（编辑）;奥尔加·卡普洛蒂（编辑）;洛朗·海诺克（编辑）;沃尔克·索尔格（编辑） 人工智能、自动推理和符号计算。联合国际会议：AISC 2002，第六届人工智能和符号计算国际会议，Calculemus 2002，第十届符号计算与机械化推理集成研讨会。2002年7月1日至5日，法国马赛。诉讼程序。 （英语） Zbl 0993.00048号 计算机科学课堂讲稿人工智能课堂讲稿。柏林：斯普林格。xi，第343页（2002年）。MSC公司：00时25分 68-06 68泰克 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Calmet}（编辑）等人，《人工智能、自动推理和符号计算》。联合国际会议：AISC 2002，第六届人工智能和符号计算国际会议，Calculemus 2002，第十届符号计算与机械化推理集成研讨会。2002年7月1日至5日，法国马赛。诉讼程序。柏林：施普林格出版社（2002；Zbl 0993.00048）
雅克·卡梅特（编辑）;广场，一月（编辑） 人工智能和符号计算。1998年9月16日至18日在美国纽约州普拉茨堡举行的1998年AISC国际会议。诉讼程序。 （英语） Zbl 0896.00032号 计算机科学课堂讲稿1476.人工智能课堂讲稿。柏林：斯普林格。xi，309页（1998年）。MSC公司：00时25分 68-06 PDF格式BibTeX公司 XML格式引用 \textit{J.Calmet}（编辑）和\textit{J.Plaza}（主编），人工智能和符号计算。1998年9月16日至18日在美国纽约州普拉茨堡举行的1998年AISC国际会议。诉讼程序。柏林：施普林格（1998；Zbl 0896.00032） 全文： DOI程序
雅克·卡梅特（编辑）;约翰·坎贝尔（John A.Campbell）。（编辑）;普法尔茨格拉夫，约琴（编辑） 人工智能和符号数学计算。国际会议，AISMC-3，奥地利斯太尔，1996年9月23日至25日。诉讼程序。 （英语） Zbl 0853.68027号 计算机科学课堂讲稿. 1138. 柏林：斯普林格。viii，第379页（1996年）。MSC公司：68-06 68瓦30 00时25分 68泰克 PDF格式BibTeX公司 XML格式引用 \textit{J.Calmet}（编辑）等人，《人工智能和符号数学计算》。国际会议，AISMC-3，奥地利斯泰尔，1996年9月23日至25日。诉讼程序。柏林：施普林格出版社（1996；Zbl 0853.68027） 全文： DOI程序
雅克·卡梅特（编辑）;约翰·坎贝尔（John A.Campbell）。（编辑） 集成符号数学计算和人工智能。第二届国际会议，AISMC-2，于1994年8月3日至5日在英国剑桥举行。精选论文。 （英语） Zbl 0842.00045号 计算机科学课堂讲稿. 958. 柏林：Springer-Verlag。x、 第275页（1995年）。MSC公司：00时25分 68-06 68瓦30 70年第68季度 68T27型 68时01分 PDF格式BibTeX公司 XML格式引用 \textit{J.Calmet}（编辑）和textit{J.A.Campbell}（主编），《符号数学计算与人工智能集成》。第二届国际会议，AISMC-2，于1994年8月3日至5日在英国剑桥举行。精选论文。柏林：Springer-Verlag（1995；Zbl 0842.00045） 全文： DOI程序
雅克·卡梅特（编辑）;约翰·坎贝尔（John A.Campbell）。（编辑） 人工智能和符号数学计算。AISMC-1国际会议，德国卡尔斯鲁厄，1992年8月3-6日。诉讼程序。 （英语） Zbl 0825.00081号 计算机科学课堂讲稿737.柏林：斯普林格·弗拉格。八、 305 p.马克66.00/sc；öS 514.80；sFr 73.00（1993）。MSC公司：00时25分 68-06 PDF格式BibTeX公司 XML格式引用 \textit{J.Calmet}（编辑）和textit{J.A.Campbell}（主编），人工智能和符号数学计算。国际会议AISMC-1，德国卡尔斯鲁厄，1992年8月3日至6日。诉讼程序。柏林：Springer-Verlag（1993；Zbl 0825.00081） 全文： DOI程序
雅克·卡梅特（编辑） 代数算法和纠错码。第三届应用代数和纠错码国际会议论文集（AAECC-3），法国格勒诺布尔，1985年7月15日至19日。 （英语） Zbl 0591.00036号 计算机科学课堂讲稿229.柏林等：斯普林格·弗拉格。七、 416页，55.00德国马克（1986年）。MSC公司：00时25分 68-06 94-06 PDF格式BibTeX公司 XML格式
雅克·卡梅特（编辑） 计算机代数。欧洲计算机代数会议，1982年4月5日至7日，法国马赛。 （英语） Zbl 0495.68005号 计算机科学课堂讲稿, 144. 柏林-海德堡-纽约：斯普林格-弗拉格。十四、 301 p.34.00德国马克；$13.60（1982年）。 审核人：J.H.达文波特 MSC公司：68-06 00时25分 68瓦30 12-04 PDF格式BibTeX公司 XML格式