購物比價找書網找車網
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
  • 規格:平裝 / 普通級 / 初版
  • 出版地:美國
贊助商廣告
 
 
Taaze 讀冊生活 - 暢銷排行榜
素食者【亞洲首部榮獲國際曼布克獎作品】
作者:韓江
出版社:漫遊者文化
出版日期:2023-05-10
$ 300 
Taaze 讀冊生活 - 暢銷排行榜
城與不確定的牆(平裝)
作者:村上春樹
出版社:時報文化出版企業股份有限公司
出版日期:2024-11-26
$ 537 
金石堂 - 暢銷排行榜
BIG APPLE 紐約之戀 (首刷附錄版) 01
作者:Harusari、Hodot
出版社:東立出版社
出版日期:2024-11-13
$ 352 
Taaze 讀冊生活 - 暢銷排行榜
被討厭的勇氣:自我啟發之父「阿德勒」的教導
作者:岸見一郎、古賀史健
出版社:究竟出版
出版日期:2014-10-30
$ 237 
 
金石堂 - 新書排行榜
令和妖神斑小姐(3)
作者:ともつか治臣
出版社:台灣角川股份有限公司
出版日期:2024-11-21
$ 119 
金石堂 - 新書排行榜
ROSSO-人狼搜查官-(全)
作者:あめのジジ
出版社:青文出版社股份有限公司
出版日期:2024-11-21
$ 111 
金石堂 - 新書排行榜
異世界悠閒農家(16)
作者:內藤騎之介
出版社:台灣角川股份有限公司
出版日期:2024-11-25
$ 205 
Taaze 讀冊生活 - 新書排行榜
紀實千古回聲-三毛的三百七十五把鑰匙
作者:眭澔平
出版社:暖暖書屋文化
出版日期:2024-10-23
$ 430 
 

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