*Search Results* - Intelligent Computer Mathematics

sublabel_Solr

Intelligent computer mathematics : 11th international conference ... ; proceedings

Jeuring, Johan (Herausgeber)

Berlin : Springer, 2012

*book*

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

Autexier, Serge (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

*eBook*

Intelligent Computer Mathematics : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings

Carette, Jacques (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

*eBook*

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

Autexier, Serge (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

*eBook*

Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings

Davenport, James H (Herausgeber)

1st ed. 2011

Berlin, Heidelberg : Springer Berlin Heidelberg, 2011

*eBook*

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

Jeuring, Johan (Herausgeber)

1st ed. 2012

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

*eBook*

Intelligent Computer Mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings

Carette, Jacques (Herausgeber)

1st ed. 2013

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

*eBook*

Intelligent Computer Mathematics : CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings

Watt, Stephen M (Herausgeber)

1st ed. 2014

Cham : Springer International Publishing, 2014

*eBook*

Intelligent Computer Mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.

Kerber, Manfred (Herausgeber)

1st ed. 2015

Cham : Springer International Publishing, 2015

*eBook*

Intelligent Computer Mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

Kohlhase, Michael (Herausgeber)

1st ed. 2016

Cham : Springer International Publishing, 2016

*eBook*

Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings

Rabe, Florian (Herausgeber)

1st ed. 2018

Cham : Springer International Publishing, 2018

*eBook*

Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Geuvers, Herman (Herausgeber)

1st ed. 2017

Cham : Springer International Publishing, 2017

*eBook*

Intelligent Computer Mathematics : 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings

Kaliszyk, Cezary (Herausgeber)

1st ed. 2019

Cham : Springer International Publishing, 2019

*eBook*

Intelligent Computer Mathematics : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings

Benzmüller, Christoph (Herausgeber)

1st ed. 2020

Cham : Springer International Publishing, 2020

*eBook*

Intelligent Computer Mathematics : 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings

Buzzard, Kevin (Herausgeber)

1st ed. 2022

Cham : Springer International Publishing, 2022

*eBook*

Intelligent Computer Mathematics : 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings

Dubois, Catherine (Herausgeber)

1st ed. 2023

Cham : Springer Nature Switzerland, 2023

*eBook*

Intelligent Computer Mathematics : 18th International Conference, CICM 2025, Brasilia, Brazil, October 6–10, 2025, Proceedings

de Paiva, Valeria (Herausgeber)

1st ed. 2026

Cham : Springer Nature Switzerland, 2026

*eBook*

Intelligent Computer Mathematics : 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, Proceedings

Kohlhase, Andrea (Herausgeber)

1st ed. 2024

Cham : Springer Nature Switzerland, 2024

*eBook*

*sublabel_Solr*

*Showing* 1 - 18 *of* 18

*Narrow Search*

sublabel_Solr

Showing 1 - 18 of 18

Narrow Search