Intelligent Computer Mathematics, Kartoniert / Broschiert

Intelligent Computer Mathematics

Buch

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

Artikel noch nicht erschienen, voraussichtlicher Liefertermin ist der 11.11.2025.
Sie können den Titel schon jetzt bestellen. Versand an Sie erfolgt gleich nach Verfügbarkeit.

Aktueller Preis: EUR 142,37

Versandkosten

Herausgeber:: Valeria De Paiva, Peter Koepke
Verlag:: Springer-Verlag GmbH, 11/2025
Einband:: Kartoniert / Broschiert
Sprache:: Englisch
ISBN-13:: 9783032070203
Artikelnummer:: 12422690
Umfang:: 413 Seiten
Sonstiges:: X, 455 p.
Erscheinungstermin:: 11.11.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.