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

Automated Reasoning: 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

的圖書
Automated Reasoning: 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I Automated Reasoning: 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

出版社:Springer
出版日期:2024-07-02
語言:英文   規格:平裝 / 普通級/ 初版
圖書選購
型式價格供應商所屬目錄
 
$ 2699
博客來 博客來
計算機概論
圖書介紹 - 資料來源:博客來   評分:
圖書名稱:Automated Reasoning: 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

內容簡介

This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.

The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.

The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models.

This book is open access.

 

詳細資料

  • ISBN:9783031634970
  • 規格:平裝 / 普通級 / 初版
  • 出版地:美國
贊助商廣告
 
金石堂 - 今日66折
童年情感障礙療癒系列套書(三冊):《大腦依戀障礙(二版)》+《童年情感忽視(二版)》+《童年情感忽視2》
作者:史丹.塔特金
出版社:橡實
出版日期:2024-05-20
66折: $ 891 
金石堂 - 今日66折
往事一幕一幕
作者:許正勳
出版社:羽翼實業有限公司
出版日期:2024-01-31
66折: $ 185 
金石堂 - 今日66折
怎麼會這麼萌?動物寶寶寫真書
作者:張東君
出版社:貓頭鷹出版社有限公司
出版日期:2014-09-02
66折: $ 172 
金石堂 - 今日66折
基地(艾西莫夫百年誕辰紀念典藏精裝版)
作者:以撒.艾西莫夫
出版社:奇幻基地出版事業部
出版日期:2021-09-11
66折: $ 251 
 
金石堂 - 暢銷排行榜
24小時不褪色的KISS 02
作者:加藤スス
出版社:東立出版社
出版日期:2024-10-30
$ 119 
博客來 - 暢銷排行榜
世界上最透明的故事(日本出版界話題作,只有紙本書可以體驗的感動)
作者:杉井光
出版社:皇冠
出版日期:2024-09-30
$ 284 
金石堂 - 暢銷排行榜
甜蜜.痛楚-全
作者:椿
出版社:長鴻出版社股份有限公司
出版日期:2024-11-01
$ 119 
金石堂 - 暢銷排行榜
生命中最大的寶藏就是你自己Stand by Yourself(特殊扉頁限量親簽版)
作者:曾寶儀
出版社:遠見天下文化出版股份有限公司
出版日期:2024-10-31
$ 332 
 
博客來 - 新書排行榜
夢想成為魔法少女 9
$ 126 
博客來 - 新書排行榜
黃泉使者 7 (首刷限定版)
$ 126 
金石堂 - 新書排行榜
有隱情的Ω落荒而逃-全
作者:ウチタマオ
出版社:長鴻出版社股份有限公司
出版日期:2024-11-08
$ 119 
Taaze 讀冊生活 - 新書排行榜
暗黑原則:那些瑞.達利歐沒告訴你的橋水公司和《原則》真實故事
作者:羅伯.柯普蘭
出版社:寶鼎出版
出版日期:2024-10-30
$ 375 
 

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