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

554 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.

Produktinformation

Utforska kategorier

Innehållsförteckning

Hoppa över listan

Du kanske också är intresserad av

Del 11092

Rules and Reasoning

Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman

Häftad

554 kr

Del 14740

Automated Reasoning

Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt

Häftad

814 kr

Del 14739

Automated Reasoning

Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt

Häftad

445 kr