LEADER 01438nam--2200433---450- 001 990001119930203316 005 20050627095002.0 010 $a88-14-11135-9 035 $a000111993 035 $aUSA01000111993 035 $a(ALEPH)000111993USA01 035 $a000111993 100 $a20030107d2004----km-y0enga50------ba 101 0 $aita 102 $aIT 105 $ay---z---001yy 200 1 $aTesto unico dell'edilizia$eD.P.R. 6 giugno 2001 n. 380 modificato con il D. lg. 27 dicembre 2002 n. 31, artt. 1-51-artt. 136-137$fa cura di Maria Alessandra Sandulli$gcoordinato da Mario R. Spasiano 210 $aMilano$cGiuffre$dcopyr. 2004 215 $aXXI, 718 p.$d25 cm 225 2 $a<> fonti del diritto italiano 300 $aSegue: Appendice normativa 410 0$12001$a<> fonti del diritto italiano 454 1 $12001 461 1$1001------$12001 606 0 $aEdilizia$xLegislazione 676 $a343.4507869 702 1$aSANDULLI,$bMaria Alessandra 702 1$aSPASIANO,$bMario R. 801 0$aIT$bsalbc$gISBD 912 $a990001119930203316 951 $aIG I 2226$b45354 G.$cIG I 2226$d00116213 959 $aBK 969 $aGIU 979 $aMARIA$b10$c20030107$lUSA01$h1115 979 $aPATRY$b90$c20040406$lUSA01$h1717 979 $aIANNONE$b90$c20050627$lUSA01$h0948 979 $aIANNONE$b90$c20050627$lUSA01$h0950 996 $aTesto unico dell'edilizia$9254417 997 $aUNISA LEADER 05520nam 22006255 450 001 9910144132403321 005 20251117072950.0 010 $a3-540-46421-2 024 7 $a10.1007/10720084 035 $a(CKB)1000000000548827 035 $a(SSID)ssj0000323326 035 $a(PQKBManifestationID)11277796 035 $a(PQKBTitleCode)TC0000323326 035 $a(PQKBWorkID)10296650 035 $a(PQKB)10814380 035 $a(DE-He213)978-3-540-46421-1 035 $a(MiAaPQ)EBC3087948 035 $a(PPN)155165615 035 $a(BIP)6476913 035 $a(EXLCZ)991000000000548827 100 $a20121227d2000 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFrontiers of Combining Systems $eThird International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings /$fedited by Helene Kirchner, Christophe Ringeissen 205 $a1st ed. 2000. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000. 215 $a1 online resource (X, 298 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v1794 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-67281-8 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Paper -- Combining Logic and Optimization in Cutting Plane Theory -- Session 1 -- Towards Cooperative Interval Narrowing -- Integrating Constraint Solving into Proof Planning -- Termination of Constraint Contextual Rewriting -- Invited Paper -- Axioms vs. Rewrite Rules: From Completeness to Cut Elimination -- Session 2 -- Normal Forms and Proofs in Combined Modal and Temporal Logics -- Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic -- Session 3 -- Handling Differential Equations with Constraints for Decision Support -- Non-trivial Symbolic Computations in Proof Planning -- Integrating Computer Algebra and Reasoning through the Type System of Aldor -- Invited Paper -- Combinations of Model Checking and Theorem Proving -- Session 4 -- Compiling Multi-paradigm Declarative Programs into Prolog -- Modular Redundancy for Theorem Proving -- Composing and Controlling Search in Reasoning Theories Using Mappings -- Invited Paper -- Why Combined Decision Problems Are Often Intractable -- Session 5 -- Congruence Closure Modulo Associativity and Commutativity -- Combining Equational Theories Sharing Non-Collapse-Free Constructors -- Comparing Expressiveness of Set Constructor Symbols. 330 $aThis volume contains the proceedings of FroCoS2000, the 3rd International WorkshoponFrontiersofCombiningSystems,heldMarch22-24,2000,inNancy, France. Like its predecessors organized in Munich (1996) and in Amsterdam (1998), FroCoS2000 is intended to o'er a common forum for research activities related to the combination and the integration of systems in the areas of logic, automateddeduction,constraintsolving,declarativeprogramming,andarti'cial intelligence. There were 31 submissions of overall high quality, authored by researchers from countries including Australia, Brasil, Belgium, Chili, France, Germany, - pan, Ireland, Italy, Portugal, Spain, Switzerland, The Netherlands, the United Kingdom, and the United States of America. All submissions were thoroughly evaluatedonthebasisofatleastthreerefereereports,andanelectronicprogram committeemeetingwasheldthroughtheInternet.Theprogramcommitteesel- ted 14 research contributions. The topics covered by the selected papers include: combinationoflogics;combinationofconstraintsolvingtechniques,combination of decision procedures; modular properties for theorem proving; combination of deduction systems and computer algebra; integration of decision procedures and other solving processes into constraint programming and deduction systems. We welcomed ?ve invited lectures by Alexander Bockmayr on "Combining Logic and Optimization in Cutting Plane Theory", Gilles Dowek on "Axioms vs. Rewrite Rules: From Completeness to Cut Elimination", Klaus Schulz on "Why Combined Decision Problems Are Often Intractable", Tomas Uribe on "Combinations of Theorem Proving and Model Checking", and Richard Zippel on "Program Composition Techniques for Numerical PDE Codes". Full papers of these lectures, except the last one, are also included in this volume. 410 0$aLecture Notes in Artificial Intelligence ;$v1794 606 $aLogic, Symbolic and mathematical 606 $aArtificial intelligence 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 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 615 0$aLogic, Symbolic and mathematical. 615 0$aArtificial intelligence. 615 14$aMathematical Logic and Foundations. 615 24$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 676 $a511.3 702 $aKirchner$b Helene$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRingeissen$b Christophe$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aFroCoS 2000 906 $aBOOK 912 $a9910144132403321 996 $aFrontiers of Combining Systems$92555154 997 $aUNINA