Artificial Intelligence and Symbolic Computation (AISC)

8. AISC / 7. MKM / 15. Calculemus 2008: Birmingham, UK

Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk (Eds.): 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. Lecture Notes in Computer Science 5144 Springer 2008, ISBN 978-3-540-85109-7
Contents

8. AISC 2006: Beijing, China

Jacques Calmet, Tetsuo Ida, Dongming Wang (Eds.): Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings. Lecture Notes in Computer Science 4120 Springer 2006, ISBN 3-540-39728-0
Contents

7. AISC 2004: Linz, Austria

Bruno Buchberger, John A. Campbell (Eds.): Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings. Lecture Notes in Computer Science 3249 Springer 2004, ISBN 3-540-23212-5
Contents

6. AISC 2002: Marseille, France

Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge (Eds.): Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings. Lecture Notes in Computer Science 2385 Springer 2002, ISBN 3-540-43865-3
Contents

5. AISC 2000: Madrid, Spain

John A. Campbell, Eugenio Roanes-Lozano (Eds.): Artificial Intelligence and Symbolic Computation, International Conference AISC 2000 Madrid, Spain, July 17-19, 2000, Revised Papers. Lecture Notes in Computer Science 1930 Springer 2001, ISBN 3-540-42071-1
Contents

4. AISC 1998: Plattsburgh, New York, USA

Jacques Calmet, Jan A. Plaza (Eds.): Artificial Intelligence and Symbolic Computation, International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings. Lecture Notes in Computer Science 1476 Springer 1998, ISBN 3-540-64960-3
Contents

3. AISMC 1996: Steyr, Austria

Jacques Calmet, John A. Campbell, Jochen Pfalzgraf (Eds.): Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings. Lecture Notes in Computer Science 1138 Springer 1996, ISBN 3-540-61732-9
Contents

2. AISMC 1994: Cambridge, UK

Jacques Calmet, John A. Campbell (Eds.): Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers. Lecture Notes in Computer Science 958 Springer 1995, ISBN 3-540-60156-2
Contents

1. AISMC 1992: Karlsruhe, Germany

Jacques Calmet, John A. Campbell (Eds.): Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings. Lecture Notes in Computer Science 737 Springer 1993, ISBN 3-540-57322-4
Contents