AISC International Conference on Artificial Intelligence and Symbolic Computation Search within this conference 2014 AISC 2014 11-13 December Sevilla, Spain Artificial Intelligence and Symbolic Computation 17 Papers 1 Volume 2006 AISC 2006 20-22 September Beijing, China Artificial Intelligence and Symbolic Computation 22 Papers 1 Volume 2004 AISC 2004 22-24 September Linz, Austria Artificial Intelligence and Symbolic Computation 25 Papers 1 Volume 2002 AISC 2002 1-5 July Marseille, France Artificial Intelligence, Automated Reasoning, and Symbolic Computation 30 Papers 1 Volume 2000 AISC 2000 17-19 July Madrid, Spain Artificial Intelligence and Symbolic Computation 20 Papers 1 Volume 1998 AISC 1998 16-18 September Plattsburgh, NY, USA Artificial Intelligence and Symbolic Computation 24 Papers 1 Volume 1996 AISMC 1996 23-25 September Steyr, Austria Artificial Intelligence and Symbolic Mathematical Computation 23 Papers 1 Volume 1994 AISMC 1994 3-5 August Cambridge, United Kingdom Integrating Symbolic Mathematical Computation and Artificial Intelligence 19 Papers 1 Volume 1992 AISMC 1992 3-6 August Karlsruhe, Germany Artificial Intelligence and Symbolic Mathematical Computing 21 Papers 1 Volume