Intelligent Computer Mathematics, Kartoniert / Broschiert

Intelligent Computer Mathematics

Buch

18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings

"Intelligent Computer Mathematics", 18th CICM 2025 Konferenz, 6.-10. Oktober, Brasilia. Springer-Verlag. Cover in Blau und Grau.

lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)

Aktueller Preis: EUR 142,37

Versandkosten (United States of America): EUR 19,90

Herausgeber:: Valeria De Paiva, Peter Koepke
Verlag:: Springer, 10/2025
Einband:: Kartoniert / Broschiert
Sprache:: Englisch
ISBN-13:: 9783032070203
Artikelnummer:: 12422690
Umfang:: 496 Seiten
Gewicht:: 744 g
Maße:: 235 x 155 mm
Stärke:: 27 mm
Erscheinungstermin:: 8.10.2025
Serie:: Lecture Notes in Computer Science - Band 16136
Hinweis: Achtung: Artikel ist nicht in deutscher Sprache!

Klappentext

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.