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 262808112UNISA00699nas 22002533a 450 99627744950331620130317172028.0(OCoLC)591274899(CKB)4100000006999176(CONSER)--2010202272(MiAaPQ)2049773(EXLCZ)99410000000699917620100401a20099999 --- aengHealthcare packagingChicago, IL Summit PubPhamaceuticals, biologics, medical devices, and nutraceuticals.2154-3666 Healthc. packag.688JOURNAL996277449503316Healthcare packaging2304614UNISA02812nam0 2200457 i 450 REA003857420231121125648.08823803829IT97-9173 20141021d1997 ||||0itac50 baitaitz01i xxxe z01nGestire la crisi partendo dal futurotre casi di turnarounda cura di Severino SalveminiMilanoEGEA\1997!XI, 162 p.24 cmManagement14In cop.: SDA Bocconi, Scuola di direzione aziendale dell'Università Luigi Bocconi.001CFI01708172001 Management14AziendeTrasformazioneFIRRMLC399855I658.4056072220Salvemini, SeverinoCFIV063709Università commerciale L. Bocconi : Scuola di direzione aziendaleCFIV010896Scuola di direzione aziendaleCFIV088010Università commerciale L. Bocconi : Scuola di direzione aziendaleUniversità commerciale L. Bocconi : Sda BocconiCFIV088012Università commerciale L. Bocconi : Scuola di direzione aziendaleSDA BocconiCFIV095968Università commerciale L. Bocconi : Scuola di direzione aziendaleScuola di direzione aziendale dell'Università BocconiCFIV132588Università commerciale L. Bocconi : Scuola di direzione aziendaleUniversità Bocconi : Scuola di direzione aziendaleCFIV143404Università commerciale L. Bocconi : Scuola di direzione aziendaleUniversità L. Bocconi : Scuola di direzione aziendaleCFIV162105Università commerciale L. Bocconi : Scuola di direzione aziendaleScuola di direzione aziendale dell'Università Luigi BocconiCFIV162279Università commerciale L. Bocconi : Scuola di direzione aziendaleUniversità Luigi Bocconi <Milano> : Scuola di direzione aziendaleCFIV177549Università commerciale L. Bocconi : Scuola di direzione aziendaleBocconi university : School of managementCFIV194393Università commerciale L. Bocconi : Scuola di direzione aziendaleITIT-0120141021IT-FR0098 Biblioteca Area Giuridico EconomicaFR0098 REA0038574Biblioteca Area Giuridico Economica 53IMP 658.405 1 53VM 0000098525 VM barcode:EC008676. - Inventario:5679. - Fondo:Sala consultazioneVMA 2000070520121204 53IMP M.C.2 51 53IMP0000048775 VMB A4 A 2015060820150608 53Gestire la crisi partendo dal futuro959838UNICAS