02971nam 22006735 450 99646630630331620200705111509.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[electronic resource] 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/edtMiAaPQMiAaPQMiAaPQBOOK996466306303316Automated Deduction – CADE 262808112UNISA02311cam a2200373 a 4500991000801969707536930412s1994 caua b 001 0 eng 9781558604919b13275112-39ule_instDip.to Ingegneria dell'Innovazioneeng004.22Hennessy, John L.9509Computer organization and design :the hardware/software interface /John L. Hennessy, David A. Patterson2nd ed.San Francisco, Calif. :Morgan Kaufmann,c1998xxix, 648, [965] p. :ill. ;25 cmIncludes bibliographical references and indexComputer organizationComputer engineeringComputer interfacesPatterson, David A..b1327511214-07-2102-02-05991000801969707536LE026 004.22 D HEN 01.02 C.1 1998C.112026000018355le026Fondo GISIgE0.00-n- 11010.i1399779802-02-05LE026 004.22 D HEN 01.02 C.2 1998C.202026000018362le026Fondo GISIgE0.00-l- 0213210.i1399780402-02-05LE026 004.22 D HEN 01.02 C.3 1998C.302026000018379le026Fondo GISIgE0.00-l- 06360.i1399781602-02-05LE026 004.22 D HEN 01.02 C.4 1998C.402026000020938le026Prof. Maffezzoli / BibliotecapE49.76-l- 07070.i1400482310-02-05LE026 004.22 D HEN 01.02 C.5 1998C.512026000020945le026Prof. Maffezzoli / BibliotecapE49.76-l- 0131130.i1400483510-02-05LE026 004.22 D HEN 01.02 C.6 1998C.602026000020952le026Prof. Maffezzoli / BibliotecapE49.76-l- 0254250.i1400484710-02-05LE026 004.22 D HEN 01.02 C.7 1998C.702026000016344le026Prof. Aloisio / BibliotecapE46.28-l- 06160.i1407217818-05-05LE026 004.22 D HEN 01.02 C.8 1998C.812026000132952le026Testo collocato sul pavimento.Fondo GISIgE0.00-lt 00000.i1596595814-07-21Computer organization and design120338UNISALENTOle02602-02-05ma -engcau00