СБ |
Intelligent Computer Mathematics: Proc./16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 2009 |
2009 |
|
Lecture Notes in Artificial Intelligence |
- Carette J.
- Dixon L.
- Coen C. S.
- Watt S. M.
|
|
|
13.04.2010 |
СБ |
Intelligent Computer Mathematics: Proc./MKM, Calculemus, DML, and System and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 2013 |
2013 |
|
Lecture Notes in Artificial Intelligence |
- Carette J.
- Aspinall D.
- Lange Ch.
- Sojka P.
|
|
|
26.08.2013 |
СБ |
Intelligent Computer Mathematics: Proc./International Conference, CICM 2015, Washington,DC,USA, July 2015 |
2015 |
|
Lecture Notes in Artificial Intelligence |
- Kerber M.
- Carette J.
- Kaliszyk C.
- Rabe F.
|
|
|
02.09.2015 |
СБ |
Mathematical Software - ICMS 2020: Proc./7th International Conference, Braunschweig, Germany, July 2020 |
2020 |
|
Lecture Notes in Computer Science |
- Bigatti A.M.
- Carette J.
- Davenport J. H.
- Joswig M.
|
|
20919 |
18.08.2020 |