Intelligent Computer Mathematics (Buch)

Intelligent Computer Mathematics

Buch

17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings

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

EUR 72,27*

Versandkosten

Herausgeber:: Laura Kovács, Andrea Kohlhase
Verlag:: Springer Nature Switzerland, 08/2024
Einband:: Kartoniert / Broschiert, Paperback
Sprache:: Englisch
ISBN-13:: 9783031669965
Artikelnummer:: 11937768
Umfang:: 380 Seiten
Nummer der Auflage:: 2024
Auflage:: 2024
Gewicht:: 575 g
Maße:: 235 x 155 mm
Stärke:: 21 mm
Artikelnummer:: 11937768
Erscheinungstermin:: 4.8.2024
Hinweis: Achtung: Artikel ist nicht in deutscher Sprache!

Klappentext

This book constitutes the refereed proceedings of the 17th International Conference on Intelligent Computer Mathematics, CICM 2024, held in Montréal, Québec, Canada, during August 5 9, 2024.

The 21 full papers presented were carefully reviewed and selected from 28 submissions. These papers have been categorized into the following sections: AI and LLM; Proof Assistants; Logical Frameworks and Transformations; Knowledge Representation and Certi cation; Proof Search and Formalization & System Descriptions.

Themen:

Stichworte:

Verlag:

Springer Nature Switzerland