34 results · clear filters Sort: newest oldest name

1. International Conference on Intelligent Computer Mathematics (AISC, CICM)
   2010-07-05/10 · Paris, France
   Computer and information sciences
   e106ag7
2. International Conference on Intelligent Computer Mathematics (CICM, MKM)
   2009-07-06/12 · Grand Bend, Canada
   Computer and information sciences
   e106afa
3. International Conference on Intelligent Computer Mathematics (AISC, CICM)
   2008-07-28 to 2008-08-01 · Birmingham, United Kingdom
   Computer and information sciences
   e106aec
4. Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings (MKM)
   2007-06-27/30 · Hagenberg im Mühlkreis, Austria
   Computer and information sciences
   e11je8t
5. International Conference on Mathematical Knowledge Management (MKM)
   2006-08-11/12 · Wokingham, United Kingdom
   Computer and information sciences
   e106ade
6. International Conference on Mathematical Knowledge Management (MKM)
   2005-07-15/17 · Bremen, Germany
   Computer and information sciences
   e106acg
7. International Conference on Mathematical Knowledge Management (MKM)
   2004-09-19/21 · Białowieża Forest, Belarus
   Computer and information sciences
   e106abj
8. International Conference on Mathematical Knowledge Management (MKM)
   2003-02-16/18 · Bertinoro, Italy
   Computer and information sciences
   e106aam
9. Proceedings of the Mathematical Knowledge Management Symposium, MKM Symposium 2003, Edinburgh, UK, November 25-29, 2003
   2003 · Edinburgh, United Kingdom
   Computer and information sciences
   e120qah

As JSON: https://labs.confref.org/api/search?field=1.2&series=s10a9mr&page=2