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 €

Beschreibung des Verlags

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
Computer und Internet
ERSCHIENEN
2021
31. August
SPRACHE
EN
Englisch
UMFANG
323
Seiten
VERLAG
Springer International Publishing
ANBIETERINFO
Springer Science & Business Media LLC
GRÖSSE
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