Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, Qc, Canada, August 5-9, 2024, Proceedings
Kohlhase, Andrea, Kovács, Laura
- 出版商: Springer
- 出版日期: 2024-08-04
- 售價: $3,070
- 貴賓價: 9.5 折 $2,917
- 語言: 英文
- 頁數: 355
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3031669967
- ISBN-13: 9783031669965
海外代購書籍(需單獨結帳)
相關主題
商品描述
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 Certification; Proof Search and Formalization & System Descriptions.
商品描述(中文翻譯)
本書為第17屆國際智能計算數學會議（CICM 2024）的經過審核的會議論文集，會議於2024年8月5日至9日在加拿大魁北克省的蒙特利爾舉行。
所呈現的21篇完整論文是從28篇投稿中仔細審核和選出的。這些論文被分類為以下幾個部分：人工智慧與大型語言模型（AI and LLM）；證明助手（Proof Assistants）；邏輯框架與轉換（Logical Frameworks and Transformations）；知識表示與認證（Knowledge Representation and Certification）；證明搜尋與形式化及系統描述（Proof Search and Formalization & System Descriptions）。
