Frontiers of Combining Systems: 15th International Symposium, Frocos 2025, Reykjavik, Iceland, September 29 - October 1, 2025, Proceedings
暫譯: 結合系統的前沿：第15屆國際研討會 Frocos 2025，冰島雷克雅維克，2025年9月29日至10月1日，會議論文集
Thiemann, René, Weidenbach, Christoph
- 出版商: Springer
- 出版日期: 2025-09-10
- 售價: $2,230
- 貴賓價: 9.5 折 $2,119
- 語言: 英文
- 頁數: 406
- 裝訂: Quality Paper - also called trade paper
- ISBN: 303204166X
- ISBN-13: 9783032041661
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
This open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in Reykjavik, Iceland, during September 29-October 1, 2025.
The 21 full papers included in the proceedings were carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: Description logics; beyond classical logic; satisfiability modulo theories; term rewrite systems; theorem proving; specific reasoning procedures; and proof checking.
商品描述(中文翻譯)
這本開放存取的書籍是第十五屆國際結合系統前沿研討會（FroCoS 2025）的經過審核的會議論文集，該會議於2025年9月29日至10月1日在冰島雷克雅維克舉行。
會議論文集中包含的21篇完整論文是從32篇投稿中仔細審核和選出的。這些論文按照主題分為以下幾個部分：描述邏輯；超越古典邏輯；模組理論的可滿足性；項重寫系統；定理證明；特定推理程序；以及證明檢查。
