Fleuriot, Jacques (ed.); Wang, Dongming (ed.); Calmet, Jacques (ed.) Artificial intelligence and symbolic computation. 13th international conference, AISC 2018, Suzhou, China, September 16–19, 2018. Proceedings. (English) Zbl 1396.68012 Lecture Notes in Computer Science 11110. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-319-99956-2/pbk; 978-3-319-99957-9/ebook). x, 269 p. (2018). MSC: 68-06 68Txx 68W30 00B25 PDFBibTeX XMLCite \textit{J. Fleuriot} (ed.) et al., Artificial intelligence and symbolic computation. 13th international conference, AISC 2018, Suzhou, China, September 16--19, 2018. Proceedings. Cham: Springer (2018; Zbl 1396.68012) Full Text: DOI
Aranda-Corral, Gonzalo A. (ed.); Calmet, Jacques (ed.); Martín-Mateos, Francisco J. (ed.) Artificial intelligence and symbolic computation. 12th international conference, AISC 2014, Seville, Spain, December 11–13, 2014. Proceedings. (English) Zbl 1302.68009 Lecture Notes in Computer Science 8884. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-319-13769-8/pbk). x, 205 p. (2014). MSC: 68-06 68Txx 68W30 00B25 PDFBibTeX XMLCite \textit{G. A. Aranda-Corral} (ed.) et al., Artificial intelligence and symbolic computation. 12th international conference, AISC 2014, Seville, Spain, December 11--13, 2014. Proceedings. Cham: Springer (2014; Zbl 1302.68009) Full Text: DOI
Autexier, Serge (ed.); Calmet, Jacques (ed.); Delahaye, David (ed.); Ion, Patrick D. F. (ed.); Rideau, Laurence (ed.); Rioboo, Renaud (ed.); Sexton, Alan P. (ed.) Intelligent computer mathematics. 10th international conference, AISC 2010, 17th symposium, Calculemus 2010, and 9th international conference, MKM 2010, Paris, France, July 5–10, 2010. Proceedings. (English) Zbl 1194.68011 Lecture Notes in Computer Science 6167. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-14127-0/pbk). xv, 471 p. (2010). MSC: 68-06 68Txx 00B25 PDFBibTeX XMLCite \textit{S. Autexier} (ed.) et al., Intelligent computer mathematics. 10th international conference, AISC 2010, 17th symposium, Calculemus 2010, and 9th international conference, MKM 2010, Paris, France, July 5--10, 2010. Proceedings. Berlin: Springer (2010; Zbl 1194.68011) Full Text: DOI
Calmet, Jacques (ed.); Geiselmann, Willi (ed.); Müller-Quade, Jörn (ed.) Mathematical methods in computer science. Essays in memory of Thomas Beth. (English) Zbl 1154.68005 Lecture Notes in Computer Science 5393. Berlin: Springer (ISBN 978-3-540-89993-8/pbk). xii, 191 p. (2008). MSC: 68-06 00B30 PDFBibTeX XMLCite \textit{J. Calmet} (ed.) et al., Mathematical methods in computer science. Essays in memory of Thomas Beth. Berlin: Springer (2008; Zbl 1154.68005) Full Text: DOI
Calmet, Jacques (ed.); Ida, Tetsuo (ed.); Wang, Dongming (ed.) Artificial intelligence and symbolic computation. 8th international conference, AISC 2006, Beijing, China, September 20–22, 2006. Proceedings. (English) Zbl 1149.68005 Lecture Notes in Computer Science 4120. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-540-39728-1/pbk). xiii, 269 p. (2006). MSC: 68-06 68Txx 00B25 PDFBibTeX XMLCite \textit{J. Calmet} (ed.) et al., Artificial intelligence and symbolic computation. 8th international conference, AISC 2006, Beijing, China, September 20--22, 2006. Proceedings. Berlin: Springer (2006; Zbl 1149.68005) Full Text: DOI
Calmet, Jacques (ed.); Benhamou, Belaid (ed.); Caprotti, Olga (ed.); Henocque, Laurent (ed.); Sorge, Volker (ed.) Artificial intelligence, automated reasoning, and symbolic computation. Joint international conferences: AISC 2002, the 6th international conference on artificial intelligence and symbolic computation, and Calculemus 2002, the 10th symposium on the integration of symbolic computation and mechanized reasoning. Marseille, France, July 1–5, 2002. Proceedings. (English) Zbl 0993.00048 Lecture Notes in Computer Science 2385. Lecture Notes in Artificial Intelligence. Berlin: Springer. xi, 343 p. (2002). MSC: 00B25 68-06 68Txx 68W30 PDFBibTeX XMLCite \textit{J. Calmet} (ed.) et al., Artificial intelligence, automated reasoning, and symbolic computation. Joint international conferences: AISC 2002, the 6th international conference on artificial intelligence and symbolic computation, and Calculemus 2002, the 10th symposium on the integration of symbolic computation and mechanized reasoning. Marseille, France, July 1--5, 2002. Proceedings. Berlin: Springer (2002; Zbl 0993.00048)
Calmet, Jacques (ed.); Plaza, Jan (ed.) Artificial intelligence and symbolic computation. International conference AISC ’98, Plattsburgh, NY, USA, September 16–18, 1998. Proceedings. (English) Zbl 0896.00032 Lecture Notes in Computer Science 1476. Lecture Notes in Artificial Intelligence. Berlin: Springer. xi, 309 p. (1998). MSC: 00B25 68-06 PDFBibTeX XMLCite \textit{J. Calmet} (ed.) and \textit{J. Plaza} (ed.), Artificial intelligence and symbolic computation. International conference AISC '98, Plattsburgh, NY, USA, September 16--18, 1998. Proceedings. Berlin: Springer (1998; Zbl 0896.00032) Full Text: DOI
Calmet, Jacques (ed.); Campbell, John A. (ed.); Pfalzgraf, Jochen (ed.) Artificial intelligence and symbolic mathematical computation. International conference, AISMC-3, Steyr, Austria, September 23–25, 1996. Proceedings. (English) Zbl 0853.68027 Lecture Notes in Computer Science. 1138. Berlin: Springer. viii, 379 p. (1996). MSC: 68-06 68W30 00B25 68Txx PDFBibTeX XMLCite \textit{J. Calmet} (ed.) et al., Artificial intelligence and symbolic mathematical computation. International conference, AISMC-3, Steyr, Austria, September 23--25, 1996. Proceedings. Berlin: Springer (1996; Zbl 0853.68027) Full Text: DOI
Calmet, Jacques (ed.); Campbell, John A. (ed.) Integrating symbolic mathematical computation and artificial intelligence. 2nd international conference, AISMC-2, held in Cambridge, UK, August 3-5, 1994. Selected papers. (English) Zbl 0842.00045 Lecture Notes in Computer Science. 958. Berlin: Springer-Verlag. x, 275 p. (1995). MSC: 00B25 68-06 68W30 68Q70 68T27 68T01 PDFBibTeX XMLCite \textit{J. Calmet} (ed.) and \textit{J. A. Campbell} (ed.), Integrating symbolic mathematical computation and artificial intelligence. 2nd international conference, AISMC-2, held in Cambridge, UK, August 3-5, 1994. Selected papers. Berlin: Springer-Verlag (1995; Zbl 0842.00045) Full Text: DOI
Calmet, Jacques (ed.); Campbell, John A. (ed.) Artificial intelligence and symbolic mathematical computing. International conference AISMC-1, Karlsruhe, Germany, August 3–6, 1992. Proceedings. (English) Zbl 0825.00081 Lecture Notes in Computer Science 737. Berlin: Springer-Verlag. VIII, 305 p. DM 66.00/ sc; öS 514.80; sFr 73.00 (1993). MSC: 00B25 68-06 PDFBibTeX XMLCite \textit{J. Calmet} (ed.) and \textit{J. A. Campbell} (ed.), Artificial intelligence and symbolic mathematical computing. International conference AISMC-1, Karlsruhe, Germany, August 3--6, 1992. Proceedings. Berlin: Springer-Verlag (1993; Zbl 0825.00081) Full Text: DOI
Calmet, Jacques (ed.) Algebraic algorithms and error-correcting codes. Proceedings of the 3rd international conference on applied algebra and error correcting codes (AAECC-3), Grenoble, France, July 15–19, 1985. (English) Zbl 0591.00036 Lecture Notes in Computer Science 229. Berlin etc.: Springer-Verlag. VII, 416 p. DM 55.00 (1986). MSC: 00B25 68-06 94-06 PDFBibTeX XML
Calmet, Jacques (ed.) Computer algebra. EUROCAM ’82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982. (English) Zbl 0495.68005 Lecture Notes in Computer Science, 144. Berlin-Heidelberg-New York: Springer-Verlag. XIV, 301 p. DM 34.00; $ 13.60 (1982). Reviewer: J. H. Davenport MSC: 68-06 00B25 68W30 12-04 PDFBibTeX XML