Intelligent Computer Mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings, Kohlhase, Michael (ed.); Johansson, Moa (ed.); Miller, Bruce (ed.); de Moura, Leonardo (ed.); Tompa, Frank (ed.), Springer

KIRJAUDU

ostoskori

avaa valikko

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

Michael Kohlhase (ed.), Moa Johansson (ed.), Bruce Miller (ed.), Leonardo de Moura (ed.), Frank Tompa (ed.)

41,90 €

Springer
Sivumäärä: 163 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2016, 12.07.2016 (lisätietoa)
Kieli: Englanti

This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.

The 10 full papers and 2 short papers presented were carefully reviewed and selected

from a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä

Myymäläsaatavuus