Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, Qc, Canada, August 5-9, 2024, Proceedings

Kohlhase, Andrea, Kovács, Laura

Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, Qc, Canada, August 5-9, 2024, Proceedings
  • 出版商: Springer
  • 出版日期: 2024-08-04
  • 售價: $3,120
  • 貴賓價: 9.5 折 $2,964
  • 語言: 英文
  • 頁數: 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）。

類似商品