Intelligent Computer Mathematics, Kartoniert / Broschiert
Intelligent Computer Mathematics
Buch
- 18th International Conference, CICM 2025, Brasilia, Brazil, October 6-11, 2025, Proceedings
Lieferzeit beträgt mind. 4 Wochen
(soweit verfügbar beim Lieferanten)
(soweit verfügbar beim Lieferanten)
Aktueller Preis: EUR 142,37
- 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.
- Erscheinungstermin:
- 8.10.2025
- Serien:
- Lecture Notes in Artificial Intelligence , 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.
Mehr von Lecture Notes i...
-
Explainable, Trustworthy, and Responsible AI and Multi-Agent SystemsBuchAktueller Preis: EUR 63,51
-
Artificial Intelligence and Soft ComputingBuchAktueller Preis: EUR 63,51
-
Machine Learning and Knowledge Discovery in Databases. Research TrackBuchAktueller Preis: EUR 87,60
-
Machine Learning and Knowledge Discovery in Databases. Research TrackBuchAktueller Preis: EUR 89,80
Intelligent Computer Mathematics
Aktueller Preis: EUR 142,37
