Artificial Intelligence and Symbolic Computation (AISC)
11. AISC / 11. MKM / 19. Calculemus 2012: Bremen, Germany
Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge (Eds.):
Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings.
Lecture Notes in Computer Science 7362 Springer 2012, ISBN 978-3-642-31373-8
Contents 
10. AISC / 9. MKM / 17. Calculemus 2010: Paris, France
Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton (Eds.):
Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings.
Lecture Notes in Computer Science 6167 Springer 2010, ISBN 978-3-642-14127-0
Contents
9. AISC / 7. MKM / 15. Calculemus 2008: Birmingham, UK
Serge Autexier, John A. 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
Last update Sat May 25 01:56:46 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
