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. Springer 2012 Lecture Notes in Computer Science 7362 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. Springer 2010 Lecture Notes in Computer Science 6167 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. Springer 2008 Lecture Notes in Computer Science 5144 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. Springer 2006 Lecture Notes in Computer Science 4120 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. Springer 2004 Lecture Notes in Computer Science 3249 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. Springer 2002 Lecture Notes in Computer Science 2385 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. Springer 2001 Lecture Notes in Computer Science 1930 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. Springer 1998 Lecture Notes in Computer Science 1476 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. Springer 1996 Lecture Notes in Computer Science 1138 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. Springer 1995 Lecture Notes in Computer Science 958 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. Springer 1993 Lecture Notes in Computer Science 737 ISBN 3-540-57322-4 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team