Skip to product information
Lecture Notes in Computer Science

Lecture Notes in Computer Science: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

Sale price  $40.49 Regular price  $44.99

Reliable shipping

Flexible returns

Lecture Notes in Computer Science: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

Kohlhase, Michael; Johansson, Moa; Miller, Bruce; de Moura, Leonardo; Tompa, Frank

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.

Details

Published by: Springer

Publication Date: 2016-07-12

Format: Paperback

ISBN-13: 9783319425467

DOI: 10.1007/978-3-319-42547-4

Dimensions: 235cm x155cm

Pages: 163

You may also like