02562nam 22006735 450 991048340190332120251225210935.03-319-63046-610.1007/978-3-319-63046-5(CKB)4340000000061633(DE-He213)978-3-319-63046-5(MiAaPQ)EBC5579268(PPN)203668901(EXLCZ)99434000000006163320170710d2017 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierAutomated Deduction – CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings /edited by Leonardo de Moura1st ed. 2017.Cham :Springer International Publishing :Imprint: Springer,2017.1 online resource (XI, 582 p. 87 illus.) Lecture Notes in Artificial Intelligence,2945-9141 ;103953-319-63045-8 Includes bibliographical references and index.Automated deduction -- Including foundations -- Applications.-Implementations -- Practical experience.The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license.Lecture Notes in Artificial Intelligence,2945-9141 ;10395Artificial intelligenceMachine theoryComputer scienceSoftware engineeringAlgorithmsArtificial IntelligenceFormal Languages and Automata TheoryComputer Science Logic and Foundations of ProgrammingSoftware EngineeringAlgorithmsArtificial intelligence.Machine theory.Computer science.Software engineering.Algorithms.Artificial Intelligence.Formal Languages and Automata Theory.Computer Science Logic and Foundations of Programming.Software Engineering.Algorithms.511.36028563de Moura Leonardoedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483401903321Automated Deduction – CADE 262808112UNINA