LEADER 00788nam0 2200253 450 001 000028171 005 20110301163859.0 010 $a978-88-425-4374-9 100 $a20110301d2010----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------001yy 200 1 $aBarche e gozzi sorrentini$estorie di barche, di cantieri, di uomini e di mare$fEnzo De Pasquale 210 $aMilano$cMursia$d2010 215 $a132 p.$cill.$d27 cm 500 10$aBarche e gozzi sorrentini$942190 610 1 $aNavi$aCostruzioni$aSorrento 676 $a623.8$v21 700 1$aDe PAsquale,$bEnzo$0634040 801 0$aIT$bUNIPARTHENOPE$c20110301$gRICA$2UNIMARC 912 $a000028171 951 $a623-B/1$b42646$cNAVA1$d2011 996 $aBarche e gozzi sorrentini$942190 997 $aUNIPARTHENOPE LEADER 01320nam 2200421 450 001 9910794218603321 005 20230629235304.0 010 $a981-4928-49-6 035 $a(CKB)4100000011632733 035 $a(MiAaPQ)EBC6420609 035 $a(EXLCZ)994100000011632733 100 $a20210323d2021 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aBrand singapore (third edition) $enation branding in a world disrupted by covid-19 /$fBuck Song Koh 210 1$aSingapore :$cMarshall Cavendish International (Asia) Private Limited,$d[2021] 210 4$d©2021 215 $a1 online resource (306 pages) $cillustrations 300 $aIncludes index. 311 $a981-4928-38-0 606 $aBranding (Marketing)$zSingapore 606 $aNational characteristics, Singaporean 606 $aPlace marketing$zSingapore 615 0$aBranding (Marketing) 615 0$aNational characteristics, Singaporean. 615 0$aPlace marketing 676 $a959.5700688 700 $aKoh$b Buck Song$01492139 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910794218603321 996 $aBrand singapore (third edition)$93714436 997 $aUNINA LEADER 05167nam 2200601 a 450 001 9910483264503321 005 20200520144314.0 024 7 $a10.1007/11591191 035 $a(CKB)1000000000213540 035 $a(SSID)ssj0000318699 035 $a(PQKBManifestationID)11279925 035 $a(PQKBTitleCode)TC0000318699 035 $a(PQKBWorkID)10311624 035 $a(PQKB)10006854 035 $a(DE-He213)978-3-540-31650-3 035 $a(MiAaPQ)EBC3068299 035 $a(PPN)123098769 035 $a(EXLCZ)991000000000213540 100 $a20051027d2005 uy 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic for programming, artificial intelligence, and reasoning $e12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings /$fGeoff Sutcliffe, Andrei Voronkov (eds.) 205 $a1st ed. 2005. 210 $aBerlin ;$aNew York $cSpringer$dc2005 215 $a1 online resource (XIV, 744 p.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v3835.$aLecture notes in artificial intelligence 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$aPrinted edition: 9783540305538 320 $aIncludes bibliographical references and index. 327 $aIndependently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated Theorem Proving for Software Analysis -- Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees -- The nomore?+?+ Approach to Answer Set Solving -- Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages -- The Four Sons of Penrose -- An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures -- Second-Order Principles in Specification Languages for Object-Oriented Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations in Term Rewriting -- On Confluence of Infinitary Combinatory Reduction Systems -- Matching with Regular Constraints -- Recursive Path Orderings Can Also Be Incremental -- Automating Coherent Logic -- The Theorema Environment for Interactive Proof Development -- A First Order Extension of Stålmarck?s Method -- Regular Derivations in Basic Superposition-Based Calculi -- On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity -- Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination -- Monotone AC-Tree Automata -- On the Specification of Sequent Systems -- Verifying and Reflecting Quantifier Elimination for Presburger Arithmetic -- Integration of a Software Model Checker into Isabelle -- Experimental Evaluation of Classical Automata Constructions -- Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics -- Reasoning About Incompletely Defined Programs -- Model Checking Abstract State Machines with Answer Set Programming -- Characterizing Provability in BI?s Pointer Logic Through Resource Graphs -- A Unified Memory Model for Pointers -- Treewidth in Verification: Local vs. Global -- Pushdown Module Checking -- Functional Correctness Proofs of Encryption Algorithms -- Towards Automated Proof Support for Probabilistic Distributed Systems -- Algebraic Intruder Deductions -- Satisfiability Checking for PC(ID) -- Pool Resolution and Its Relation to Regular Resolution and DPLL with Clause Learning -- Another Complete Local Search Method for SAT -- Inference from Controversial Arguments -- Programming Cognitive Agents in Defeasible Logic -- The Relationship Between Reasoning About Privacy and Default Logics -- Comparative Similarity, Tree Automata, and Diophantine Equations -- Analytic Tableaux for KLM Preferential and Cumulative Logics -- Bounding Resource Consumption with Gödel-Dummett Logics -- On Interpolation in Existence Logics -- Incremental Integrity Checking: Limitations and Possibilities -- Concepts of Automata Construction from LTL. 410 0$aLecture notes in computer science ;$v3835. 410 0$aLecture notes in computer science.$pLecture notes in artificial intelligence. 517 3 $aLPAR 2005 606 $aLogic programming$vCongresses 606 $aAutomatic theorem proving$vCongresses 606 $aArtificial intelligence$vCongresses 615 0$aLogic programming 615 0$aAutomatic theorem proving 615 0$aArtificial intelligence 676 $a005.1/15 701 $aSutcliffe$b Geoff$01235917 701 $aVoronkov$b A$g(Andrei),$f1959-$01752961 712 12$aLPAR (Conference) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483264503321 996 $aLogic for programming, artificial intelligence, and reasoning$94198193 997 $aUNINA