Artificial intelligence and symbolic mathematical computation. International conference, AISMC-3, Steyr, Austria, September 23--25, 1996. Proceedings

DOI10.1007/3-540-61732-9MaRDI QIDQ2563364zbMATH OpenOpenAlexFDO

Authors

Publication date 11 December 1996

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61732-9

zbMATH Keywords

ConferenceArtificial intelligenceProceedingsAISMCMathematical computationSteyr (Austria)Symbolic mathematical computation

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Artificial intelligence (68Txx)

Recommendations

• Artificial intelligence and symbolic mathematical computing. International conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings
• Integrating symbolic mathematical computation and artificial intelligence. 2nd international conference, AISMC-2, held in Cambridge, UK, August 3-5, 1994. Selected papers
• Artificial intelligence and symbolic computation. 7th international conference, AISC 2004, Linz, Austria, September 22--24, 2004. Proceedings.
• Artificial intelligence and symbolic computation. International conference AISC '98, Plattsburgh, NY, USA, September 16--18, 1998. Proceedings
• 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 integr
• Artificial intelligence and symbolic computation. 8th international conference, AISC 2006, Beijing, China, September 20--22, 2006. Proceedings
• Artificial intelligence and symbolic computation. International conference AISC 2000, Madrid, Spain, July 17--19, 2000. Revised papers
• scientific article; zbMATH DE number 1389656
• Artificial intelligence and symbolic computation. 13th international conference, AISC 2018, Suzhou, China, September 16--19, 2018. Proceedings
• Special issue: Artificial intelligence and symbolic computation (AISC). Selected papers presented at the 9th international conference, Birmingham, UK, July 31 -- August 1, 2008.

Cited in

(3)

• Artificial intelligence and symbolic computation. International conference AISC 2000, Madrid, Spain, July 17--19, 2000. Revised papers
• Integrating symbolic mathematical computation and artificial intelligence. 2nd international conference, AISMC-2, held in Cambridge, UK, August 3-5, 1994. Selected papers
• Automated generation of geometric theorems from images of diagrams

This page was built for publication: Artificial intelligence and symbolic mathematical computation. International conference, AISMC-3, Steyr, Austria, September 23--25, 1996. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2563364)