Integrating symbolic mathematical computation and artificial intelligence. 2nd international conference, AISMC-2, held in Cambridge, UK, August 3-5, 1994. Selected papers
DOI10.1007/3-540-60156-2zbMATH Open0842.00045OpenAlexW2486824739MaRDI QIDQ1896995
Author name not available (Why is that?)
Publication date: 12 September 1995
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-60156-2
ConferenceProceedingsCambridge (GB)Artificial intelligenceAISMCIntegrating symbolic mathematical computationMathematical computation
Symbolic computation and algebraic computation (68W30) Proceedings of conferences of miscellaneous specific interest (00B25) Logic in artificial intelligence (68T27) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Algebraic theory of languages and automata (68Q70) General topics in artificial intelligence (68T01)
Related Items (1)
Recommendations
- Title not available (Why is that?) 👍 👎
- Artificial intelligence and symbolic computation. 12th international conference, AISC 2014, Seville, Spain, December 11--13, 2014. Proceedings 👍 👎
- Artificial intelligence and symbolic mathematical computing. International conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings 👍 👎
- Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28--August 1, 2008. Proceedings 👍 👎
- Special issue: Artificial intelligence and symbolic computation (AISC). Selected papers presented at the 9th international conference, Birmingham, UK, July 31 -- August 1, 2008. 👍 👎
- 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 integration of symbolic computation and mechanized reasoning. Marseille, France, July 1--5, 2002. Proceedings 👍 👎
- Artificial intelligence and symbolic computation. 7th international conference, AISC 2004, Linz, Austria, September 22--24, 2004. Proceedings. 👍 👎
- Artificial intelligence and symbolic mathematical computation. International conference, AISMC-3, Steyr, Austria, September 23--25, 1996. Proceedings 👍 👎
- Artificial intelligence and symbolic computation. International conference AISC 2000, Madrid, Spain, July 17--19, 2000. Revised papers 👍 👎
This page was built for publication: Integrating symbolic mathematical computation and artificial intelligence. 2nd international conference, AISMC-2, held in Cambridge, UK, August 3-5, 1994. Selected papers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1896995)
