Data & IT
Pocket
Intelligent Computer Mathematics
Michael Kohlhase • Moa Johansson • Bruce Miller • Leonardo De Moura • Frank Tompa
639:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Illustratör: Bibliographie
- Format: Pocket/Paperback
- ISBN: 9783319425467
- Språk: Engelska
- Antal sidor: 163
- Utgivningsdatum: 2016-07-12
- Förlag: Springer International Publishing AG