Intelligent Computer Mathematics, Kartoniert / Broschiert

Intelligent Computer Mathematics

Buch

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

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

Aktueller Preis: EUR 142,37

Versandkosten

Herausgeber:: Valeria De Paiva, Peter Koepke
Verlag:: Springer-Verlag GmbH, 10/2025
Einband:: Kartoniert / Broschiert
Sprache:: Englisch
ISBN-13:: 9783032070203
Artikelnummer:: 12422690
Umfang:: 470 Seiten
Sonstiges:: XXIII, 470 p. 200 illus., 170 illus. in color.
Gewicht:: 744 g
Maße:: 235 x 155 mm
Stärke:: 27 mm
Erscheinungstermin:: 8.10.2025
Serien:: Lecture Notes in Computer Science - Band 16136 , Lecture Notes in Artificial Intelligence
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.