Intelligent Computer Mathematics
16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings
Seiten
2023
|
1st ed. 2023
Springer International Publishing (Verlag)
978-3-031-42752-7 (ISBN)
Springer International Publishing (Verlag)
978-3-031-42752-7 (ISBN)
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.
Invited Talks.- Regular Papers.- Project and Survey papers.- System and Dataset Descriptions.- System Entry.
Erscheinungsdatum | 01.09.2023 |
---|---|
Reihe/Serie | Lecture Notes in Artificial Intelligence | Lecture Notes in Computer Science |
Zusatzinfo | XVII, 324 p. 83 illus., 49 illus. in color. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 528 g |
Themenwelt | Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik |
Schlagworte | Algorithmic Mathematics • computer mathematics • formalized mathematics • knowledge management • mathematical libraries • Semantics • theorem proving |
ISBN-10 | 3-031-42752-1 / 3031427521 |
ISBN-13 | 978-3-031-42752-7 / 9783031427527 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
was sie kann & was uns erwartet
Buch | Softcover (2023)
C.H.Beck (Verlag)
18,00 €
von absurd bis tödlich: Die Tücken der künstlichen Intelligenz
Buch | Softcover (2023)
Heyne (Verlag)
20,00 €
dem Menschen überlegen – wie KI uns rettet und bedroht
Buch | Hardcover (2023)
Droemer (Verlag)
24,00 €