Intelligent Computer Mathematics

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

AvManfred Kerber,Catherine Dubois

E-bok
Engelska, 2023

965 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet

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. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.


Produktinformation

Utforska kategorier

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