LEADER 02971nam 22006735 450 001 996466306303316 005 20200705111509.0 010 $a3-319-63046-6 024 7 $a10.1007/978-3-319-63046-5 035 $a(CKB)4340000000061633 035 $a(DE-He213)978-3-319-63046-5 035 $a(MiAaPQ)EBC5579268 035 $a(PPN)203668901 035 $a(EXLCZ)994340000000061633 100 $a20170710d2017 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAutomated Deduction ? CADE 26$b[electronic resource] $e26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6?11, 2017, Proceedings /$fedited by Leonardo de Moura 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XI, 582 p. 87 illus.) 225 1 $aLecture Notes in Artificial Intelligence ;$v10395 311 $a3-319-63045-8 320 $aIncludes bibliographical references and index. 327 $aAutomated deduction -- Including foundations -- Applications.-Implementations -- Practical experience. 330 $aThe chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license. 410 0$aLecture Notes in Artificial Intelligence ;$v10395 606 $aArtificial intelligence 606 $aMathematical logic 606 $aComputer logic 606 $aSoftware engineering 606 $aAlgorithms 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 0$aComputer logic. 615 0$aSoftware engineering. 615 0$aAlgorithms. 615 14$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 615 24$aAlgorithm Analysis and Problem Complexity. 676 $a511.36028563 702 $ade Moura$b Leonardo$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466306303316 996 $aAutomated Deduction ? CADE 26$92808112 997 $aUNISA LEADER 01918nam0-2200457---450 001 990004034840403321 005 20250306130610.0 035 $a000403484 035 $aFED01000403484 035 $a(Aleph)000403484FED01 035 $a000403484 100 $a19990604d1982----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------101yy 200 1 $aEconomia, istituzioni, cultura in Lombardia nell'età di Maria Teresa$e[convegni per il secondo centenario di Maria Teresa d'Austria]$f[Regione Lombardia, settore cultura e informazione]$ga cura di Aldo De Maddalena, Ettore Rotelli, Gennaro Barbarisi 210 $aBologna$cIl Mulino$d1982 215 $a3 v.$d22 cm 225 1 $aTemi e discussioni 327 1 $a1.: Economia e società : atti del Convegno, Mantova, Teatro Bibbiena, 2-4 ottobre 1980$a2: Cultura e società : atti del Convegno, Milano, Università di Stato, 6-9 novembre 1980$a3.: Istituzioni e società : atti del Convegno, Pavia, Università di Stato, 24-27 novembre 1980 610 0 $aLombardia$aStoria politica e sociale$aSec. 18. 676 $a945.2074$v21$zita 702 1$aBarbarisi,$bGennaro$f<1932-2007> 702 1$aDe Maddalena,$bAldo$f<1920- > 702 1$aRotelli,$bEttore$f<1937- > 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990004034840403321 952 $aXIV A 357$b22426-7-8$fFSPBC 952 $aSDI-KG 783$b2691$fSDI 952 $a945.2 DEM 1 (1)$bBIBL. 57866$fFLFBC 952 $a945.2 DEM 1 (1) BIS$bBIBL.CENTR. 674$fFLFBC 952 $a945.2 DEM 1 (2)$bBIBL. 57866$fFLFBC 952 $a945.2 DEM 1 (2) BIS$bFil.Mod.36123$fFLFBC 952 $a945.2 DEM 1 (3)$bBIBL. 57866$fFLFBC 952 $a945.2 DEM 1 (3) BIS$bFil.Mod.36123$fFLFBC 959 $aFSPBC 959 $aFLFBC 959 $aSDI 996 $aEconomia, istituzioni, cultura in Lombardia nell'età di Maria Teresa$9471206 997 $aUNINA