Automated Deduction – CADE 26 Automated Deduction – CADE 26

Automated Deduction – CADE 26

26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings

Leonardo de Moura
    • 67,99 €
    • 67,99 €

Beschreibung des Verlags

The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license.

GENRE
Computer und Internet
ERSCHIENEN
2017
9. Juli
SPRACHE
EN
Englisch
UMFANG
593
Seiten
VERLAG
Springer International Publishing
ANBIETERINFO
Springer Science & Business Media LLC
GRÖSSE
15,4
 MB

Mehr ähnliche Bücher

Logic for Programming, Artificial Intelligence, and Reasoning Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
2015
Frontiers of Combining Systems Frontiers of Combining Systems
Frontiers of Combining Systems
2019
Frontiers of Combining Systems Frontiers of Combining Systems
Frontiers of Combining Systems
2017
Automated Reasoning with Analytic Tableaux and Related Methods Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods
2017
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2020
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2016

Mehr Bücher von Leonardo de Moura

Intelligent Computer Mathematics Intelligent Computer Mathematics
Intelligent Computer Mathematics
2016