Artificial intelligence and symbolic computation. International conference AISC 2000, Madrid, Spain, July 17--19, 2000. Revised papers

DOI10.1007/3-540-44990-6zbMATH Open0961.00030OpenAlexW4210463011MaRDI QIDQ5933481

Author name not available (Why is that?)

Publication date: 16 May 2001

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

Full work available at URL: https://doi.org/10.1007/3-540-44990-6

zbMATH Keywords

ConferencePapersAISC 2000Madrid (Spain)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items (2)

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 mathematical computation. International conference, AISMC-3, Steyr, Austria, September 23--25, 1996. Proceedings

Uses Software

• OMRS

Recommendations

• 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 👍 👎
• Special issue: Artificial intelligence and symbolic computation. Papers from the 5th international conference, AISC 2000, Madrid, Spain, July 17--19, 2000 👍 👎
• Artificial intelligence and symbolic computation. 8th international conference, AISC 2006, Beijing, China, September 20--22, 2006. 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 computation. 13th international conference, AISC 2018, Suzhou, China, September 16--19, 2018. Proceedings 👍 👎
• Artificial intelligence and symbolic mathematical computation. International conference, AISMC-3, Steyr, Austria, September 23--25, 1996. Proceedings 👍 👎

This page was built for publication: Artificial intelligence and symbolic computation. International conference AISC 2000, Madrid, Spain, July 17--19, 2000. Revised papers

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