02946nam 22006735 450 991048340190332120200705111509.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 ;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 ;10395Artificial intelligenceMathematical logicComputer logicSoftware engineeringAlgorithmsArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Artificial intelligence.Mathematical logic.Computer logic.Software engineering.Algorithms.Artificial Intelligence.Mathematical Logic and Formal Languages.Logics and Meanings of Programs.Software Engineering.Algorithm Analysis and Problem Complexity.511.36028563de Moura Leonardoedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483401903321Automated Deduction – CADE 262808112UNINA