Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, Tableaux 2025, Reykjavik, Iceland, September 27-29, 202
暫譯: 自動推理：分析表及相關方法，第34屆國際會議，Tableaux 2025，冰島雷克雅維克，2025年9月27-29日
Pozzato, Gian Luca, Uustalu, Tarmo
- 出版商: Springer
- 出版日期: 2025-09-28
- 售價: $2,230
- 貴賓價: 9.8 折 $2,185
- 語言: 英文
- 頁數: 492
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3032060842
- ISBN-13: 9783032060846
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
商品描述
This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during September 27-29, 2025.
The 25 full papers included in this book were carefully reviewed and selected from 47 sbumissions. They were organized in topical sections as follows: Classical and multi-valued logic, theorem proving; modal and tense logic; and intuitionistic and substructural logic.
商品描述(中文翻譯)
這本開放存取的書籍是第33屆自動推理與分析表及相關方法國際會議（TABLEAUX 2025）的會議論文集，會議於2025年9月27日至29日在冰島雷克雅維克舉行。
本書收錄的25篇完整論文是從47篇投稿中經過仔細審查和選擇而來。這些論文按照主題分為以下幾個部分：古典邏輯與多值邏輯、定理證明；模態邏輯與時態邏輯；以及直覺主義邏輯與子結構邏輯。
