{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":44,"n_cols":5,"rows_kept":44,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[3,2,3,3],[5,2,5,3],[6,2,6,3],[8,2,8,3],[11,2,11,3],[12,2,12,3],[16,2,16,3],[18,2,18,3],[18,4,18,5],[19,2,19,3],[19,4,19,5],[20,2,20,3],[21,2,21,3],[22,2,22,3],[23,2,23,3],[24,2,24,3],[25,2,25,3],[26,2,26,3],[36,2,36,3],[37,2,37,3],[41,2,41,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910480908603321"]
[null,null,"Titolo",null,"Social marketing to protect the environment [[electronic resource] ] : what works / / Doug McKenzie-Mohr ... [et al.]"]
[null,null,"Pubbl/distr/stampa",null,"Los Angeles, [Calif.] ; ; London, : SAGE, c2012"]
[null,null,"ISBN",null,"1-4833-4946-2"]
[{"$nulls":4},"1-4522-2431-5"]
[null,null,"Descrizione fisica",null,"1 online resource (257 p.)"]
[null,null,"Disciplina",null,"658.8/02"]
[{"$nulls":4},"658.802"]
[null,null,"Soggetti",null,"Social marketing"]
[{"$nulls":4},"Green marketing"]
[{"$nulls":4},"Electronic books."]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"section I. Introduction -- section II. Influencing behaviors in the residential sector -- section III. Influencing behaviors in the commercial sector -- section IV. Going forward."]
[null,null,null,"Sommario/riassunto","In this work the focus turns to the environment and how social marketing can be successful to change environmental behaviour. The text begins with a definition of the social marketing model and includes a discussion of various tools that can be used to develop social marketing strategies."]
[null,"2.","Record Nr.",null,"UNINA9910143604603321"]
[null,null,"Titolo",null,"Rewriting Techniques and Applications : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings / / edited by Aart Middeldorp"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001"]
[null,null,"ISBN",null,"3-540-45127-7"]
[null,null,"Edizione",null,"[1st ed. 2001.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XII, 368 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 2051"]
[null,null,"Disciplina",null,"005.131"]
[null,null,"Soggetti",null,"Programming languages (Electronic computers)"]
[{"$nulls":4},"Logic, Symbolic and mathematical"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Computer science—Mathematics"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Symbolic and Algebraic Manipulation"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references at the end of each chapters and index."]
[null,null,"Nota di contenuto",null,"Invited Talks -- Computing and Proving -- Rewriting for Deduction and Verification -- Regular Papers -- Universal Interaction Systems with Only Two Agents -- General Recursion on Second Order Term Algebras -- Beta Reduction Constraints -- From Higher-Order to First-Order Rewriting -- Combining Pattern E-Unification Algorithms -- Matching Power -- Dependency Pairs for Equational Rewriting -- Termination Proofs by Context-Dependent Interpretations -- Uniform Normalisation beyond Orthogonality -- Verifying Orientability of Rewrite Rules Using the Knuth-Bendix Order -- Relating Accumulative and Non-accumulative Functional Programs -- Context Unification and Traversal Equations -- Weakly Regular Relations and Applications -- On the Parallel Complexity of Tree Automata -- Transfinite Rewriting Semantics for Term Rewriting Systems -- Goal-Directed E-Unification -- The Unification Problem for Confluent Right-Ground Term Rewriting "]
[{"$nulls":4},"Systems -- On Termination of Higher-Order Rewriting -- Matching with Free Function Symbols — A Simple Extension of Matching? -- Deriving Focused Calculi for Transitive Relations -- A Formalised First-Order Con uence Proof for the ?-Calculus Using One-Sorted Variable Names (Barendregt Was Right after all ... almost) -- A Normal Form for Church-Rosser Language Systems -- Confluence and Termination of Simply Typed Term Rewriting Systems -- Parallel Evaluation of Interaction Nets with MPINE -- Stratego: A Language for Program Transformation Based on Rewriting Strategies System Description of Stratego 0.5."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001. The 23 revised full papers presented together with two system descriptions were carefully reviewed and selected from 55 submissions. All current aspects of rewriting are addressed."]