Del 11092
Rules and Reasoning
Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman
Häftad, 2018
562 kr
Intelligent Computer Mathematics
13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings
AvChristoph Benzmüller,Bruce Miller
Häftad, Engelska, 2020
Del 12236 i serien Lecture Notes in Computer Science
562 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 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.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Del 13040
Del 14740
Del 11793
KI 2019: Advances in Artificial Intelligence
Christoph Benzmüller, Heiner Stuckenschmidt
Häftad, 2019
739 kr
On Gödel and the Nonexistence of Time – Gödel und die Nichtexistenz der Zeit
Oliver Passon, Christoph Benzmüller, Brigitte Falkenburg
Häftad, 2023
359 kr
Del 14739
- 4 för 3
- 4 för 3