Frontiers of Combining Systems Frontiers of Combining Systems

Frontiers of Combining Systems

13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings

    • €64.99
    • €64.99

Publisher Description

This book constitutes the refereed proceedings of the 13th International Symposium on Frontiers of Combining Systems, FroCoS 2021, held in Birmingham, UK, in September 2021.

GENRE
Computing & Internet
RELEASED
2021
31 August
LANGUAGE
EN
English
LENGTH
323
Pages
PUBLISHER
Springer International Publishing
PROVIDER INFO
Springer Science & Business Media LLC
SIZE
21.8
MB
Automated Deduction – CADE 27 Automated Deduction – CADE 27
2019
Automated Deduction -- CADE-23 Automated Deduction -- CADE-23
2011
Automated Reasoning Automated Reasoning
2010
Frontiers of Combining Systems Frontiers of Combining Systems
2011
Automated Reasoning Automated Reasoning
2008
Frontiers of Combining Systems Frontiers of Combining Systems
2009