
<p>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.</p> <p> </p> <p>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 Certification; Proof Search and Formalization & System Descriptions.</p>
Page Count:
362
Publication Date:
2024-08-04
ISBN-10:
3031669967
ISBN-13:
9783031669965
No comments yet. Be the first to share your thoughts!