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.8 折 $2,185
- 語言: 英文
- 頁數: 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篇投稿中仔細審核和選出的。這些論文按照主題分為以下幾個部分：描述邏輯；超越古典邏輯；模組理論的可滿足性；項重寫系統；定理證明；特定推理程序；以及證明檢查。
