×

Found 12 Documents (Results 1–12)

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

Filter Results by …

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software