購物比價找書網找車網
FindBook  
 有 1 項符合

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

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

出版社:Springer
出版日期:2024-08-04
語言:英文   規格:平裝 / 340頁 / 普通級/ 初版
圖書選購
型式價格供應商所屬目錄
 
$ 4499
博客來 博客來
企業應用
圖書介紹 - 資料來源:博客來   評分:
圖書名稱:Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, Qc, Canada, August 5-9, 2024, Proceedings

內容簡介

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.

 

詳細資料

  • ISBN:9783031669965
  • 規格:平裝 / 340頁 / 普通級 / 初版
  • 出版地:美國
贊助商廣告
 
金石堂 - 今日66折
岩合光昭 與貓散步
作者:岩合光昭
出版社:大石國際文化
出版日期:2016-10-06
66折: $ 231 
金石堂 - 今日66折
馬上就能用的超強記憶法:記憶是考試、學習、成為能人的根本,用你熟悉的舊串起上百個新,不用一個月,人生各方面彎道超車。
作者:吳瓊
出版社:任性出版有限公司
出版日期:2024-04-29
66折: $ 257 
金石堂 - 今日66折
魯迅經典(套書)
作者:魯迅
出版社:好優文化
出版日期:2022-10-17
66折: $ 2600 
金石堂 - 今日66折
日日減醣超市料理攻略
作者:張晴琳(圈媽)
出版社:采實文化事業股份有限公司
出版日期:2020-08-05
66折: $ 238 
 
金石堂 - 暢銷排行榜
閃亮的金句:尋找滄海遺珠
作者:盧勝彥
出版社:財團法人真佛般若藏文教基金會
出版日期:2024-11-07
$ 205 
金石堂 - 暢銷排行榜
明天可能會愛你(02)
作者:山下街
出版社:青文出版社股份有限公司
出版日期:2024-11-04
$ 111 
金石堂 - 暢銷排行榜
特殊傳說Ⅲ vol.09
作者:護玄
出版社:蓋亞文化有限公司
出版日期:2024-10-16
$ 236 
博客來 - 暢銷排行榜
永不告別
作者:韓江 (한강)
出版社:漫遊者文化
出版日期:2023-07-17
$ 331 
 
金石堂 - 新書排行榜
我當備胎女友也沒關係(7)
作者:西條陽
出版社:台灣角川股份有限公司
出版日期:2024-11-06
$ 190 
Taaze 讀冊生活 - 新書排行榜
梅子老師這一班6:說謊真的好累喔!
作者:王文華
出版社:小天下
出版日期:2024-10-07
$ 225 
博客來 - 新書排行榜
尋找安全的家:結構技師蔡榮根教你選好宅
作者:蔡榮根
出版社:天下文化
出版日期:2024-10-30
$ 355 
博客來 - 新書排行榜
世界上最透明的故事(日本出版界話題作,只有紙本書可以體驗的感動)
作者:杉井光
出版社:皇冠
出版日期:2024-09-30
$ 284 
 

©2024 FindBook.com.tw -  購物比價  找書網  找車網  服務條款  隱私權政策