Dubois / Kerber | Intelligent Computer Mathematics | E-Book | www.sack.de
E-Book

E-Book, Englisch, 324 Seiten

Reihe: Computer Science

Dubois / Kerber Intelligent Computer Mathematics

16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings
1. Auflage 2023
ISBN: 978-3-031-42753-4
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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

E-Book, Englisch, 324 Seiten

Reihe: Computer Science

ISBN: 978-3-031-42753-4
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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.


Dubois / Kerber Intelligent Computer Mathematics jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Dubois, Catherine
Kerber, Manfred

Weitere Infos & Material

Invited Talks.- Regular Papers.- Project and Survey papers.- System and Dataset Descriptions.- System Entry.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.