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

Automated Reasoning: 13th International Joint Conference, Ijcar 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I
  • 出版商: 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與驗證；直覺主義、模態與時間邏輯；

第二部分：計算、證明理論與決策程序；以及統一、重寫與計算模型。

類似商品