Tracked shipping to Austria with premium packaging for just 3,99 € 

Ship to
Austria
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, Uk, July 17-21, 2017, Proceedings
Type
Physical Book
Publisher
Author
Language
English
Pages
375
Format
Paperback
Dimensions
23.4 x 15.6 x 2.1 cm
Weight
0.55 kg.
ISBN13
9783319620749
Categories

Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, Uk, July 17-21, 2017, Proceedings

Geuvers, Herman ; England, Matthew ; Hasan, Osman (Author) · Springer · Paperback

Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, Uk, July 17-21, 2017, Proceedings - Geuvers, Herman ; England, Matthew ; Hasan, Osman

Cheaper New Book Imported to Austria
Delivery: 12 Aug - 19 Aug Shipping: 13 to 17 business days.
55,04 €
Faster New Book Imported to Austria
Delivery: 31 Jul - 04 Aug Shipping: 5 to 6 business days.
70,64 €
Import costs and 10% VAT included in the price ✅
55,04 €

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, Uk, July 17-21, 2017, Proceedings"

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.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews