購物比價找書網找車網
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折
詞在有意思1:露馬腳,皇后不能說的祕密!
作者:周姚萍
出版社:五南圖書出版股份有限公司
出版日期:2017-05-25
66折: $ 165 
金石堂 - 今日66折
10 種洞察:洞察,認清世界的真實面目,當個聰明人。直觀真相,裝糊塗也別真糊塗。
作者:王可越
出版社:大是文化有限公司
出版日期:2024-01-30
66折: $ 263 
 
博客來 - 暢銷排行榜
生命中最大的寶藏就是你自己Stand by Yourself
作者:曾寶儀
出版社:天下文化
出版日期:2024-10-31
$ 331 
金石堂 - 暢銷排行榜
交尾島 成天只想打砲的變態痴女JK們 無修正
作者:オギノサトシ
出版社:未來數位有限公司
出版日期:2024-11-13
$ 261 
博客來 - 暢銷排行榜
世界上最透明的故事(日本出版界話題作,只有紙本書可以體驗的感動)
作者:杉井光
出版社:皇冠
出版日期:2024-09-30
$ 284 
博客來 - 暢銷排行榜
神奇柑仔店17:消痛巧克力的危機
出版日期:2024-10-31
$ 284 
 
博客來 - 新書排行榜
神奇柑仔店18:紅子與錢天堂的起點
作者:廣嶋玲子
出版社:親子天下
出版日期:2024-10-31
$ 284 
Taaze 讀冊生活 - 新書排行榜
喚醒天生好命:啟動靈魂原力的12堂課,讓好事自動歸位,輕鬆改寫未來命運
作者:宇色Osel
出版社:英屬維京群島商高寶國際有限公司台灣分公司
出版日期:2024-10-23
$ 294 
Taaze 讀冊生活 - 新書排行榜
凝態物理:從半導體、磁浮列車到量子電腦,看穿隱藏在現代科技背後的混沌、秩序與魔法
作者:菲利克斯.福立克
出版社:貓頭鷹出版社
出版日期:2024-10-24
$ 385 
Taaze 讀冊生活 - 新書排行榜
【京都三部曲2】喜樂京都(壽岳章子X澤田重隆攜手經典作,在台發行20周年金典珍藏)
作者:壽岳章子
出版社:馬可孛羅
出版日期:2024-11-07
$ 280 
 

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