|
Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings (Paperback, 1st ed. 2017)
Loot Price: R2,554
Discovery Miles 25 540
|
|
|
Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings (Paperback, 1st ed. 2017)
Series: Lecture Notes in Computer Science, 10383
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 10th
International Conference on Intelligent Computer Mathematics, CICM
2017, held in Edinburgh, Scotland, in July 2017. The 22 full papers
and 3 abstracts of invited papers presented were carefully reviewed
and selected from a total of 40 submissions. The papers are
organized in three tracks: the Calculemus track examining the
integration of symbolic computation and mechanized reasoning; the
Digital Mathematics Libraries track dealing with math-aware
technologies, standards, algorithms, and processes; the
Mathematical Knowledge Management track being concerned with all
aspects of managing mathematical knowledge, in informal,
semi-formal, and formal settings. An additional track Systems and
Projects contains descriptions of systems and relevant projects,
both of which are key to a research topic where theory and practice
interact on explicitly represented knowledge.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
