default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArtificial Intelligence and Symbolic Computation (AISC)
Artificial Intelligence and Symbolic Mathematical Computation (AISMC)
13th AISC 2018: Suzhou, China
- Jacques D. Fleuriot, Dongming Wang, Jacques Calmet:
Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings. Lecture Notes in Computer Science 11110, Springer 2018, ISBN 978-3-319-99956-2 [contents]
12th AISC 2014: Seville, Spain
- Gonzalo A. Aranda-Corral
, Jacques Calmet, Francisco J. Martín-Mateos:
Artificial Intelligence and Symbolic Computation - 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings. Lecture Notes in Computer Science 8884, Springer 2014, ISBN 978-3-319-13769-8 [contents]
11th AISC / 11th MKM / 19th Calculemus 2012: Bremen, Germany
- Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge:
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]
10th AISC / 9th MKM / 17th Calculemus 2010: Paris, France
- Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton:
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]
9th AISC / 7th MKM / 15th Calculemus 2008: Birmingham, UK
- Serge Autexier, John A. Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk:
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]
8th AISC 2006: Beijing, China
- Jacques Calmet, Tetsuo Ida, Dongming Wang:
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]
7th AISC 2004: Linz, Austria
- Bruno Buchberger, John A. Campbell:
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]
6th AISC 2002: Marseille, France
- Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge:
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]
5th AISC 2000: Madrid, Spain
- John A. Campbell, Eugenio Roanes-Lozano:
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]
4th AISC 1998: Plattsburgh, New York, USA
- Jacques Calmet, Jan A. Plaza:
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]
3rd AISMC 1996: Steyr, Austria
- Jacques Calmet, John A. Campbell, Jochen Pfalzgraf:
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]
2nd AISMC 1994: Cambridge, UK
- Jacques Calmet, John A. Campbell:
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]
1st AISMC 1992: Karlsruhe, Germany
- Jacques Calmet, John A. Campbell:
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]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
