bokomslag Intelligent Computer Mathematics
Data & IT

Intelligent Computer Mathematics

Michael Kohlhase Moa Johansson Bruce Miller Leonardo De Moura Frank Tompa

Pocket

639:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 163 sidor
  • 2016
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 selectedfrom 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.
  • Författare: Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo De Moura, Frank Tompa
  • Illustratör: Bibliographie
  • Format: Pocket/Paperback
  • ISBN: 9783319425467
  • Språk: Engelska
  • Antal sidor: 163
  • Utgivningsdatum: 2016-07-12
  • Förlag: Springer International Publishing AG