Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Intelligent Computer Mathematics
CHF 96.35
Auf Lager
SKU
LHHGBT05CD2
1 Verfügbar 
Geliefert zwischen Di., 25.11.2025 und Mi., 26.11.2025
Details
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.
Inhalt
Invited Talks.- Regular Papers.- Project and Survey papers.- System and Dataset Descriptions.- System Entry.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783031427527
- Genre Information Technology
- Auflage 1st edition 2023
- Editor Manfred Kerber, Catherine Dubois
- Lesemotiv Verstehen
- Anzahl Seiten 344
- Größe H235mm x B155mm x T19mm
- Jahr 2023
- EAN 9783031427527
- Format Kartonierter Einband
- ISBN 3031427521
- Veröffentlichung 31.08.2023
- Titel Intelligent Computer Mathematics
- Untertitel 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings
- Gewicht 522g
- Herausgeber Springer Nature Switzerland
- Sprache Englisch
Bewertungen
Schreiben Sie eine Bewertung
