Intelligent computer mathematics : 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023 Proceedings / Catherine Dubois, Manfred Kerber, editors.

Unlimited

Authorized users

Can lend chapters, not whole ebooks

Intelligent computer mathematics : 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023 Proceedings / Catherine Dubois, Manfred Kerber, editors.

9783031427534 (electronic bk.)
303142753X (electronic bk.)
9783031427527
3031427521

Cham : Springer, 2023.

English

1 online resource (xvii, 324 pages) : illustrations (some color).

10.1007/978-3-031-42753-4 doi

QA76.9.M35 C53 2023eb

004.01/51

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.

Includes author index.

Access limited to authorized users.

Online resource; title from PDF title page (SpringerLink, viewed September 6, 2023).

Lecture notes in computer science. Lecture notes in artificial intelligence.
Lecture notes in computer science ; 14101.
LNCS sublibrary. SL 7, Artificial intelligence.

Online Resources > Ebooks
All Resources