Välkommen tillbaka till Campusbokhandeln! Vi firar med inlämningskampanj: Lämna in din kurslitteratur – få 150 :- och chansen att vinna 1 000 :-. Läs mer här!
Intelligent Computer Mathematics | 1:a upplagan
- Danskt band, Engelska, 2020
- Författare: Christoph Benzmüller, Bruce Miller
- Betyg:
735
kr
Skickas inom 7-13 vardagar
Butikslager
Onlinelager
I lager hos leverantör
Fler utgåvor
-
Interactive Collaborative Robotics (2020)
737 kr
-
Diagrammatic Representation and Inference (2020)
882 kr
-
Automated Reasoning (2020)
819 kr
-
Rough Sets (2020)
823 kr
Beskrivning
This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*.The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, among other topics.
* The conference was held virtually due to the COVID-19 pandemic.
* The conference was held virtually due to the COVID-19 pandemic.
Produktinformation
Kategori:
Data & IT
Bandtyp:
Danskt band
Språk:
Engelska
Förlag:
Springer Nature
Upplaga:
1
Utgiven:
2020-07-18
ISBN:
9783030535179
Sidantal:
337