Intelligent Computer Mathematics, Kartoniert / Broschiert
Intelligent Computer Mathematics
Buch
- 18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings
deliverable within 2-3 weeks (if available from supplier)
Current price: EUR 142.37
Shipping
(United States of America): EUR 19.90
- Publisher:
- Valeria De Paiva, Peter Koepke
- Publisher:
- Springer, 10/2025
- Binding:
- Kartoniert / Broschiert
- Language:
- Englisch
- ISBN-13:
- 9783032070203
- Item number:
- 12422690
- Volume:
- 496 Pages
- Weight:
- 744 g
- Format:
- 235 x 155 mm
- Thickness:
- 27 mm
- Release date:
- 8.10.2025
- Note
-
Caution: Product is not in German language
Blurb
This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, held in Brasilia, Brazil, during October 6--11, 2025.
The 24 full papers were presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in the following topical sections as follows : Automated Reasoning; Formal Libraries; Logical and Linguistic Foundations; Mathematical Knowledge Management; Neural Language Models; and Proof Assistants and Formalizations.
Intelligent Computer Mathematics
Current price: EUR 142.37
