Frontiers of Combining Systems

Discover the cutting-edge research presented in Frontiers of Combining Systems, edited by Andreas Herzig. This comprehensive volume contains the proceedings from the 12th International Symposium on Frontiers of Combining Systems (FroCoS 2019), held in London, UK, in September 2019. It was colocated with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2019).

Published by Springer Nature Switzerland AG, this 365-page book delves into the latest advancements in combining systems, offering valuable insights for researchers and practitioners in the field. Whether you are an academic, a student, or a professional, this book is an essential resource for understanding the frontiers of automated reasoning and its applications.

Stay ahead in your field with this important contribution to the literature on automated reasoning and combining systems.