01623cam0-22005171i-450-99000384556040332120050714111346.088-420-5286-8000384556FED01000384556(Aleph)000384556FED0100038455620030910d1997----km-y0itay50------baitaITy-------001yyDonato Menichellastabilità e sviluppo dell'economia italiana, 1946-1960a cura di Franco Cotula, Cosma O. Gelsomino e Alfredo GigliobiancoRoma ; BariLaterza19972 v. (994 p., 470 p.)23 cmCollana storica della Banca d'ItaliaDocumenti131.: Documenti e discorsi2.: Considerazioni finali all'assemblea della Banca d'ItaliaBancheItaliaStoria332.110945Gelsomino,Cosma O.Cotula,FrancoGigliobianco,AlfredoITUNINARICAUNIMARCBK990003845560403321N2.337/1.a7001DECTSN2.337/1.b6997DECTSCOLLEZ. 1459 (13)31290/91FSPBCE/5 BAN-D13.118552SESE/5 BAN-D13.218553SESXV F 152428DTESE 107.04.15-1DECSESE 107.04.15-2DECSESE 107.04.15-1BISDECSESE 107.04.15-2BISDECSEDECSEFSPBCDECTSSESDTEDonato Menichella58102UNINA02971nam 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 262808112UNISA