Intelligent Computer Mathematics

16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings

AvCatherine Dubois,Manfred Kerber

Häftad, Engelska, 2023

Del 14101 i serien Lecture Notes in Computer Science

790 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023.The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected from a total of 37 submissions.

Produktinformation

Utforska kategorier

Innehållsförteckning

Hoppa över listan

Du kanske också är intresserad av

Computational Logic - CL 2000

Peter J. Stuckey, Yehoshua Sagiv, Luis M. Pereira, Catuscia Palamidessi, Kung-Kiu Lau, Manfred Kerber, Ulrich Furbach, Veronica Dahl, John Lloyd

E-bok
2003

718 kr