Intelligent Computer Mathematics
17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9,2024, Proceedings, Lecture Notes in Computer Science 14960 - Lecture Notes in Artificial Intelligence
€117.69
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Zusatztext
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 Certication; Proof Search and Formalization & System Descriptions.
Weitere Details
Erschienen: 04.08.2024
Umfang: xvii, 362 S., 98 s/w Illustr., 87 farbige Illustr.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783031669965
Umbreit-Nr.: 3896351
