Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, Qc, Canada, August 5-9, 2024, Proceedings
暫譯: 智能電腦數學：第17屆國際會議 CICM 2024，蒙特利爾，魁北克，加拿大，2024年8月5日至9日，會議論文集

Name: Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, Qc, Canada, August 5-9, 2024, Proceedings
Price: 3857 TWD
Availability: OnlineOnly
Author: Kohlhase, Andrea, Kovács, Laura
ISBN: 3031669967

Kohlhase, Andrea, Kovács, Laura

出版商: Springer
出版日期: 2024-08-04
售價: $4,060
貴賓價: 9.5 折 $3,857
語言: 英文
頁數: 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 Certiﬁcation; 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）。