TY  - BOOK
AU  - Thiemann,René
AU  - Weidenbach,Christoph
ED  - SpringerLink (Online service)
TI  - Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings 
T2  - Lecture Notes in Artificial Intelligence,
SN  - 9783032041678
AV  - QA76.758 
U1  - 005.1 23
PY  - 2026///
CY  - Cham
PB  - Springer Nature Switzerland, Imprint: Springer
KW  - Software engineering
KW  - Computer engineering
KW  - Computer networks 
KW  - Computer science
KW  - Machine theory
KW  - Artificial intelligence
KW  - Software Engineering
KW  - Computer Engineering and Networks
KW  - Computer Science Logic and Foundations of Programming
KW  - Formal Languages and Automata Theory
KW  - Artificial Intelligence
N1  - Open Access
N2  - 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
UR  - https://doi.org/10.1007/978-3-032-04167-8
ER  -