LEADER 01016cam0 2200301 450 001 E600200013984 005 20201123083930.0 010 $a8811582288 100 $a20051027d1989 |||||ita|0103 ba 101 $aita 102 $aIT 200 1 $aEmma$fJane Austen$gintr. Attilio Bertolucci$gtrad. Mario Praz 210 $aMilano$cGarzanti$d1989 215 $aXVII,368 p.$cill.$d18 cm 225 2 $agrandi libri Garzanti$v228 410 1$1001LAEC00015697$12001 $aI *grandi libri Garzanti$v228 700 1$aAusten$b, Jane$3AF00011158$4070$0131233 702 1$aBertolucci, Attilio$3AF00006619$4070 702 1$aPraz, Mario$3AF00006616$4070 801 0$aIT$bUNISOB$c20201123$gRICA 850 $aUNISOB 852 $aUNISOB$j000|Coll|40|K$m65890 912 $aE600200013984 940 $aM 102 Monografia moderna SBN 941 $aM 957 $a000|Coll|40|K$b000044$gSi$d65890$racquisto$1pregresso3$2UNISOB$3UNISOB$420051027080153.0$520201123083919.0$6Spinosa 996 $aEmma$913191 997 $aUNISOB LEADER 05996nam 2200733 a 450 001 9910455340703321 005 20200520144314.0 010 $a1-282-40148-3 010 $a9786612401480 010 $a90-474-2984-2 024 7 $a10.1163/ej.9789004176409.i-324 035 $a(CKB)1000000000821714 035 $a(EBL)467852 035 $a(OCoLC)573925556 035 $a(SSID)ssj0000336406 035 $a(PQKBManifestationID)11260789 035 $a(PQKBTitleCode)TC0000336406 035 $a(PQKBWorkID)10279160 035 $a(PQKB)10547979 035 $a(MiAaPQ)EBC467852 035 $a(OCoLC)313666501 035 $a(nllekb)BRILL9789047429845 035 $a(PPN)174391226 035 $a(Au-PeEL)EBL467852 035 $a(CaPaEBR)ebr10349310 035 $a(CaONFJC)MIL240148 035 $a(EXLCZ)991000000000821714 100 $a20140717d2009 uy 0 101 0 $aeng 135 $aurun####uuuua 181 $ctxt 182 $cc 183 $acr 200 00$aCultural tourism in Latin America$b[electronic resource] $ethe politics of space and imagery /$fedited by Michiel Baud and Annelou Ypeij 210 $aLeiden ;$aBoston $cBrill$d2009 215 $a1 online resource (336 p.) 225 1 $aCEDLA Latin America studies,$x1572-6401 ;$vv. 96 300 $aDescription based upon print version of record. 311 $a90-04-17640-3 320 $aIncludes bibliographical references and index. 327 $aCultural tourism in Latin America : an introduction / Michiel Baud and Annelou Ypeij -- Tourism, folklore and the emergence of regional and national identities / Zoila S. Mendoza -- The 'three roots' of Panama's cultural heritage : the construction of racial and national identities in theme parks / Carla Guerro?n Montero -- Through the othering gaze : Yucatecan trova music and 'the tourist' in Yucata?n, Mexico / Gabriela Vargas-Cetina -- 'A symbol of wisdom and love'? : counter-cultural tourism and the multiple faces of Mari?a Sabina in Huautla, Oaxaca / Ben Feinberg -- Sacamefotos and tejedoras : frontstage performance and backstage meaning in a Peruvian context / Beatrice Simon -- Tourism, the state and the marketing of traditional Andean artesani?as : problematic encounters, pitfalls, and competing interests / Lynn A. Meisch -- Dishing up the city : tourism and street vendors in Cuzco / Griet Steel -- Caught between nature and culture : making a living within the world heritage site of Machu Picchu, Peru / Keely B. Maxwell and Annelou Ypeij -- Trivializing culture, social conflict and heritage tourism in Quito / Alan Middleton -- Contesting heritage in Antigua, Guatemala / Walter E. Little -- Hacienda hotels and other ironies of luxury in Yucata?n, Mexico / Lisa Breglia -- Heritage and indigeneity : transformations in the politics of tourism / Quetzil E. Castan?eda. 330 $aCultural tourism has become an important source of revenue for Latin American countries, especially in the Andes and Meso-America. Tourists go there looking for authentic cultures and artefacts and interact directly with indigenous people. Cultural tourism therefore takes place in close engagement with local societies. This book analyse the effects of cultural tourism and the processes of change it provokes in local societies. It analyses the intricacies of informal markets, the consequences of enforcing tourist policies, the varied encounters of foreign tourists with local populations, and the images and identities that result from the development of tourism. The contributors convincingly show that the tourist experience and the reactions to tourist activities can only be understood if analysed from within local contexts. Contributors: Michiel Baud, Annelou Ypeij, Lisa Breglia, Quetzil E. Castańeda, Ben Feinberg, Carla Guerrón Montero, Walter E. Little, Keely B. Maxwell, Lynn A. Meisch, Zoila S. Mendoza, Alan Middleton, Beatrice Simon, Griet Steel, Gabriela Vargas-Cetina. ?Tourism in Latin America ? especially the sort of cultural tourism that plays to desires for authentic experiences ? has become a key foreigner currency earner for many countries. This important volume examines the impact of tourism across the region, providing a rich survey of the range of experiences and teasing out the theoretical implications. From the almost surreal Mi Pueblito theme park in Panama to mushroom-hunting tourists in Oaxaca to the eco-trail leading to Machu Pichu, these chapters present compelling cases that speak to identity formation, nationalism, and economic impacts. As the contributors show, benefits are differentially accrued to various actors ? and often not to the communities that tourists come to see. Yet, the contributors also make it clear that in struggles over ownership, authenticity, and political representation, local communities actively shape the contours and meanings of tourism, at times successfully leveraging cultural capital into economic gains.? Edward F. Fischer, Director Center for Latin American Studies, Vanderbilt University 410 0$aLatin America studies ;$v96. 606 $aHeritage tourism$xSocial aspects$zLatin America 606 $aHeritage tourism$xPolitical aspects$zLatin America 606 $aCulture and tourism$zLatin America 606 $aCultural property$xSocial aspects$zLatin America 607 $aLatin America$xCultural policy 607 $aLatin America$xSocial conditions$y21st century 608 $aElectronic books. 615 0$aHeritage tourism$xSocial aspects 615 0$aHeritage tourism$xPolitical aspects 615 0$aCulture and tourism 615 0$aCultural property$xSocial aspects 676 $a306.4/819098 701 $aBaud$b Michiel$f1952-$0961231 701 $aYpeij$b Johanna Louisa$0938503 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910455340703321 996 $aCultural tourism in Latin America$92179161 997 $aUNINA LEADER 07283nam 22007335 450 001 996466137803316 005 20200702004708.0 010 $a3-540-45101-3 024 7 $a10.1007/10721959 035 $a(CKB)1000000000548796 035 $a(SSID)ssj0000321526 035 $a(PQKBManifestationID)11227086 035 $a(PQKBTitleCode)TC0000321526 035 $a(PQKBWorkID)10279921 035 $a(PQKB)10754300 035 $a(DE-He213)978-3-540-45101-3 035 $a(MiAaPQ)EBC3088567 035 $a(PPN)155219391 035 $a(EXLCZ)991000000000548796 100 $a20121227d2000 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAutomated Deduction - CADE-17$b[electronic resource] $e17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings /$fedited by David McAllester 205 $a1st ed. 2000. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000. 215 $a1 online resource (XIV, 526 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v1831 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-67664-3 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Talk: -- High-Level Verification Using Theorem Proving and Formalized Mathematics -- Session 1: -- Machine Instruction Syntax and Semantics in Higher Order Logic -- Proof Generation in the Touchstone Theorem Prover -- Wellfounded Schematic Definitions -- Session 2: -- Abstract Congruence Closure and Specializations -- A Framework for Cooperating Decision Procedures -- Modular Reasoning in Isabelle -- An Infrastructure for Intertheory Reasoning -- Session 3: -- Gödel?s Algorithm for Class Formation -- Automated Proof Construction in Type Theory Using Resolution -- System Description: TPS: A Theorem Proving System for Type Theory -- The Nuprl Open Logical Environment -- System Description: aRa ? An Automatic Theorem Prover for Relation Algebras -- Invited Talk: -- Scalable Knowledge Representation and Reasoning Systems -- Session 4: -- Efficient Minimal Model Generation Using Branching Lemmas -- FDPLL ? A First-Order Davis-Putnam-Logeman-Loveland Procedure -- Rigid E-Unification Revisited -- Invited Talk: -- Connecting Bits with Floating-Point Numbers: Model Checking and Theorem Proving in Practice -- Session 5: -- Reducing Model Checking of the Many to the Few -- Simulation Based Minimization -- Rewriting for Cryptographic Protocol Verification -- System Description: *sat: A Platform for the Development of Modal Decision Procedures -- System Description: DLP -- Two Techniques to Improve Finite Model Search -- Session 6: -- Eliminating Dummy Elimination -- Extending Decision Procedures with Induction Schemes -- Complete Monotonic Semantic Path Orderings -- Session 7: -- Stratified Resolution -- Support Ordered Resolution -- System Description: IVY -- System Description: SystemOnTPTP -- System Description: PTTP+GLiDeS Semantically Guided PTTP -- Session 8: -- A Formalization of a Concurrent Object Calculus up to ?-Conversion -- A Resolution Decision Procedure for Fluted Logic -- ZRes: The Old Davis?Putnam Procedure Meets ZBDD -- System Description: MBase, an Open Mathematical Knowledge Base -- System Description: Tramp: Transformation of Machine-Found Proofs into Natural Deduction Proofs at the Assertion Level -- Session 9: -- On Unification for Bounded Distributive Lattices -- Reasoning with Individuals for the Description Logic -- System Description: Embedding Verification into Microsoft Excel -- System Description: Interactive Proof Critics in XBarnacle -- Tutorials: -- Tutorial: Meta-logical Frameworks -- Tutorial: Automated Deduction and Natural Language Understanding -- Tutorial: Using TPS for Higher-Order Theorem Proving and ETPS for Teaching Logic -- Workshops: -- Workshop: Model Computation ? Principles, Algorithms, Applications -- Workshop: Automation of Proof by Mathematical Induction -- Workshop: Type-Theoretic Languages: Proof-Search and Semantics -- Workshop: Automated Deduction in Education -- Workshop: The Role of Automated Deduction in Mathematics. 330 $aFor the past 25 years the CADE conference has been the major forum for the presentation of new results in automated deduction. This volume contains the papers and system descriptions selected for the 17th International Conference on Automated Deduction, CADE-17, held June 17-20, 2000,at Carnegie Mellon University, Pittsburgh, Pennsylvania (USA). Fifty-three research papers and twenty system descriptions were submitted by researchers from ?fteen countries. Each submission was reviewed by at least three reviewers. Twenty-four research papers and ?fteen system descriptions were accepted. The accepted papers cover a variety of topics related to t- orem proving and its applications such as proof carrying code, cryptographic protocol veri?cation, model checking, cooperating decision procedures, program veri?cation, and resolution theorem proving. The program also included three invited lectures: ?High-level veri?cation using theorem proving and formalized mathematics? by John Harrison, ?Sc- able Knowledge Representation and Reasoning Systems? by Henry Kautz, and ?Connecting Bits with Floating-Point Numbers: Model Checking and Theorem Proving in Practice? by Carl Seger. Abstracts or full papers of these talks are included in this volume.In addition to the accepted papers, system descriptions, andinvited talks, this volumecontains one page summaries of four tutorials and ?ve workshops held in conjunction with CADE-17. 410 0$aLecture Notes in Artificial Intelligence ;$v1831 606 $aArtificial intelligence 606 $aComputers 606 $aMathematical logic 606 $aComputer logic 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 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 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 615 0$aArtificial intelligence. 615 0$aComputers. 615 0$aMathematical logic. 615 0$aComputer logic. 615 14$aArtificial Intelligence. 615 24$aTheory of Computation. 615 24$aMathematical Logic and Formal Languages. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Foundations. 676 $a006.333 702 $aMcAllester$b David$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Conference on Automated Deduction 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466137803316 996 $aAutomated deduction - CADE 17$9878943 997 $aUNISA LEADER 01262nam a2200277 i 4500 001 991001715979707536 008 060622s2003 it b 101 0 ita d 035 $ab13416194-39ule_inst 040 $aDip.to Filologia Class. e Scienze Filosofiche$bita 041 0 $aita$afre$aspa 082 00$a920.037 245 04$aGli Annei :$buna famiglia nella storia e nella cultura di Roma imperiale : atti del convegno internazionale di Milano-Pavia, 2-6 maggio 2000 /$ca cura di Isabella Gualandri, Giancarlo Mazzoli 260 $aComo :$bNew press,$c2003 300 $a380 p. ;$c24 cm 500 $aContributi per le celebrazioni del Bimillenario della nascita di Lucio Anneo Seneca (ca. 4 a.C.-65 d.C.) 504 $aBibliografia: p. 355-356. Indici 546 $aTesti in italiano, francese, spagnolo 600 10$aSeneca, Lucio Anneo$d.$vCongressi 700 1 $aGualandri, Isabella 700 1 $aMazzoli, Giancarlo 907 $a.b13416194$b21-09-06$c22-06-06 912 $a991001715979707536 945 $aLE007 870.1 Seneca GUA 01.501$g1$i2007000106013$lle007$nLE007 2006 Laudizi$op$pE26.00$q-$rl$s- $t0$u4$v1$w4$x0$y.i14256927$z22-06-06 996 $aAnnei$91092130 997 $aUNISALENTO 998 $ale007$b22-06-06$cm$da $e-$fita$git $h4$i0 LEADER 01746nam 2200469 450 001 9910716901703321 005 20211203104104.0 035 $a(CKB)5470000002527184 035 $a(OCoLC)1287092199 035 $a(EXLCZ)995470000002527184 100 $a20211203d2018 ua 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComparing the effects of current pay and defined benefit pensions on employee retention /$fJustin Falk and Nadia Karamcheva 210 1$aWashington, D.C. :$cCongressional Budget Office,$d2018. 215 $a1 online resource (44 pages, 2 unnumbered pages) : color illustrations 225 1 $aWorking paper ;$v2018-06 300 $a"June 2018." 320 $aIncludes bibliographical references (pages 42-44). 606 $aCivil service$xSalaries, etc$zUnited States 606 $aCivil service$xPensions$zUnited States 606 $aDefined benefit pension plans$zUnited States 606 $aEmployee retention$zUnited States 607 $aUnited States$xOfficials and employees$xPensions 607 $aUnited States$xOfficials and employees$xSalaries, etc 615 0$aCivil service$xSalaries, etc. 615 0$aCivil service$xPensions 615 0$aDefined benefit pension plans 615 0$aEmployee retention 700 $aFalk$b Justin Robert$01390507 702 $aKaramcheva$b Nadia 712 02$aUnited States.$bCongressional Budget Office, 801 0$bGPO 801 1$bGPO 801 2$bGPO 906 $aBOOK 912 $a9910716901703321 996 $aComparing the effects of current pay and defined benefit pensions on employee retention$93547030 997 $aUNINA