Automated Reasoning: 13th International Joint Conference, Ijcar 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I
暫譯: 自動推理：第十三屆國際聯合會議，Ijcar 2026，葡萄牙里斯本，2026年7月26日至29日，會議論文集，第一部分
Biere, Armin, Lutz, Carsten, Negri, Sara
- 出版商: Springer
- 出版日期: 2026-07-24
- 售價: $2,300
- 貴賓價: 9.5 折 $2,185
- 語言: 英文
- 頁數: 466
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3032325889
- ISBN-13: 9783032325884
-
相關分類:
Functional-programming
海外代購書籍(需單獨結帳)
相關主題
商品描述
This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint Conference, IJCAR 2026, held in Lisbon, Portugal, during July 26-29, 2026.
The 41 full research papers and 8 short papers included in these two volumes were carefully reviewed and selected from 112 submissions. The papers cover the following topical sections:
Part I: Theorem Proving and Automation; SAT, SMT, and Verification; Intuitionistic, Modal, and Temporal Logics;
Part II: Calculi, Proof Theory, and Decision Procedures; and Unification, Rewriting, and Computational Models.
商品描述(中文翻譯)
這套開放存取的文集，LNAI 16688-16689，包含了於2026年7月26日至29日在葡萄牙里斯本舉行的第十三屆國際聯合會議（IJCAR 2026）的會議論文集。
這兩卷中包含的41篇完整研究論文和8篇短文，經過仔細審查和選擇，來自112篇投稿。這些論文涵蓋以下主題部分：
第一部分：定理證明與自動化；SAT、SMT與驗證；直覺主義、模態與時間邏輯；
第二部分：計算、證明理論與決策程序；以及統一、重寫與計算模型。
