International Conference on Intelligent Computer Mathematics
-
2017
CICM 2017
- 17-21 July
- Edinburgh, United Kingdom
-
Intelligent Computer Mathematics
25 Papers
1 Volume
-
2008
CICM 2008
- 28 July - 1 August
- Birmingham, United Kingdom
-
Intelligent Computer Mathematics
47 Papers
1 Volume
-
2007
MKM 2007
- 27-30 June
- Hagenberg, Austria
-
Towards Mechanized Mathematical Assistants
62 Papers
2 Volumes
-
2006
MKM 2006
- 11-12 August
- Wokingham, United Kingdom
-
Mathematical Knowledge Management
22 Papers
1 Volume
-
2004
MKM 2004
- 19-21 September
- Bialowieza, Poland
-
Mathematical Knowledge Management
27 Papers
1 Volume
-
2002
Calculemus 2002
- 1-5 July
- Marseille, France
-
Artificial Intelligence, Automated Reasoning, and Symbolic Computation
30 Papers
1 Volume