• Intelligent Computer Mathemati...
  • *Holdings*

*Result*: Intelligent Computer Mathematics

*Title*:
Intelligent Computer Mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings / edited by Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa
*Author/editor-in-chief*:
Kohlhase, Michael (Herausgeber); Johansson, Moa (Herausgeber); Miller, Bruce (Herausgeber); de Moura, Leonardo (Herausgeber); Tompa, Frank (Herausgeber)
*Edition*:
1st ed. 2016
*Publication*:
Cham : Springer International Publishing, 2016
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XIV, 163 Seiten) : 21 illus.
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Lecture Notes in Artificial Intelligence, ISSN 2945-9141 ; 9791
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Intelligent Computer Mathematics. - Cham : Springer International Publishing, 2016. - ISBN 9783319425467
*ISBN*:
9783319425474 ; 3319425471 ; 978--331942546-7 (Sekundärausgabe) ; 978--331942548-1 (Sekundärausgabe)
*DOI*:
10.1007/978-3-319-42547-4

*Additional information*

*Additional functions*