Placeholder text
Frontiers of Combining Systems
0 - Default Title
Description
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.
Product details
Binding:
Paperback
Number of Pages:
428
Release Date:
2025-09-10
Publication Date:
2025-09-10
Publisher:
Springer
Languages:
Original:
English
ISBN10:
303204166X
ISBN13:
9783032041661
GPSR Manufacturer Reference:
Weight:
645 g
Height:
155 cm
Width:
235 cm
Thickness:
24 cm
Currently sold out