LEADER 04937nam 22007575 450 001 996466570003316 005 20230222032306.0 010 $a1-280-38839-0 010 $a9786613566317 010 $a3-642-15205-8 024 7 $a10.1007/978-3-642-15205-4 035 $a(CKB)2670000000036387 035 $a(SSID)ssj0000446371 035 $a(PQKBManifestationID)11299745 035 $a(PQKBTitleCode)TC0000446371 035 $a(PQKBWorkID)10495814 035 $a(PQKB)10017386 035 $a(DE-He213)978-3-642-15205-4 035 $a(MiAaPQ)EBC3065678 035 $a(PPN)149018045 035 $a(EXLCZ)992670000000036387 100 $a20100814d2010 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Science Logic$b[electronic resource] $e24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings /$fedited by Anuj Dawar, Helmut Veith 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XIV, 548 p. 64 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6247 300 $aIncludes index. 311 $a3-642-15204-X 327 $aInvited Talks -- Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries -- Definability in Games -- From Feasible Proofs to Feasible Computations -- Tree Dualities for Constraint Satisfaction -- Ordered Sets in the Calculus of Data Structures -- Abductive, Inductive and Deductive Reasoning about Resources -- Constraint Solving for Program Verification: Theory and Practice by Example -- Contributed Papers -- Tableau Calculi for over minspaces -- A Resolution Mechanism for Prenex Gödel Logic -- Efficient Enumeration for Conjunctive Queries over X-underbar Structures -- A Formalisation of the Normal Forms of Context-Free Grammars in HOL4 -- Automata vs. Logics on Data Words -- Graded Computation Tree Logic with Binary Coding -- Exact Exploration and Hanging Algorithms -- Embedding Deduction Modulo into a Prover -- Exponentials with Infinite Multiplicities -- Classical and Intuitionistic Subexponential Logics Are Equally Expressive -- On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT -- A Logic of Sequentiality -- Environment and Classical Channels in Categorical Quantum Mechanics -- Formal Theories for Linear Algebra -- Energy and Mean-Payoff Games with Imperfect Information -- Randomisation and Derandomisation in Descriptive Complexity Theory -- Towards a Canonical Classical Natural Deduction System -- Coordination Logic -- Second-Order Equational Logic (Extended Abstract) -- Fibrational Induction Rules for Initial Algebras -- A Sequent Calculus with Implicit Term Representation -- New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures -- The Structural ?-Calculus -- The Isomorphism Problem for ?-Automatic Trees -- Complexity Results for Modal Dependence Logic -- The Complexity of Positive First-Order Logic without Equality II: The Four-Element Case -- On the Computability of Region-Based Euclidean Logics -- Inductive-Inductive Definitions -- Quantified Differential Dynamic Logic for Distributed Hybrid Systems -- Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic -- Two-Variable Logic with Two Order Relations -- Signature Extensions Preserve Termination -- Coq Modulo Theory -- Ackermann Award -- The Ackermann Award 2010. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6247 606 $aComputer science 606 $aComputer programming 606 $aSoftware engineering 606 $aMachine theory 606 $aArtificial intelligence 606 $aTheory of Computation 606 $aProgramming Techniques 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aArtificial Intelligence 615 0$aComputer science. 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aMachine theory. 615 0$aArtificial intelligence. 615 14$aTheory of Computation. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aArtificial Intelligence. 676 $a004.015113 702 $aDawar$b Anuj$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aVeith$b Helmut$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aCSL 2010 906 $aBOOK 912 $a996466570003316 996 $aComputer Science Logic$9771972 997 $aUNISA LEADER 04408nam 2200709Ia 450 001 9910777923003321 005 20230207230409.0 010 $a0-231-51189-2 024 7 $a10.7312/purs12304 035 $a(CKB)1000000000771884 035 $a(EBL)908566 035 $a(OCoLC)818856140 035 $a(SSID)ssj0000721890 035 $a(PQKBManifestationID)11465666 035 $a(PQKBTitleCode)TC0000721890 035 $a(PQKBWorkID)10693592 035 $a(PQKB)11669355 035 $a(MiAaPQ)EBC908566 035 $a(DE-B1597)459235 035 $a(OCoLC)1013936037 035 $a(OCoLC)1029824219 035 $a(OCoLC)1032663914 035 $a(OCoLC)1037969462 035 $a(OCoLC)1041974809 035 $a(OCoLC)1046609248 035 $a(OCoLC)1047032746 035 $a(OCoLC)1049626198 035 $a(OCoLC)1054880880 035 $a(OCoLC)979967633 035 $a(DE-B1597)9780231511896 035 $a(Au-PeEL)EBL908566 035 $a(CaPaEBR)ebr10579979 035 $a(CaONFJC)MIL854169 035 $a(EXLCZ)991000000000771884 100 $a20070116d2007 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aTechnology in postwar America$b[electronic resource] $ea history /$fCarroll Pursell 210 $aNew York $cColumbia University Press$dc2007 215 $a1 online resource (315 p.) 300 $aDescription based upon print version of record. 311 $a0-231-12304-3 320 $aIncludes bibliographical references (p. [259]-269) and index. 327 $tFrontmatter -- $tContents -- $tIntroduction -- $t1. Arsenal of Democracy -- $t2. The Geography of Everywhere -- $t3. Foreign Aid and Advantage -- $t4. The Atom and the Rocket -- $t5. Factories and Farms -- $t6. "It's Fun to Live in America" -- $t7. Brain Drain and Technology Gap -- $t8. From Technology Drunk . . . -- $t9. . . . To Technology Sober -- $t10. A Wired Environment -- $t11. Standing Tall Again -- $t12. Globalization, Modernity, and the Postmodern -- $tNotes -- $tBibliography -- $tIndex 330 $aCarroll Pursell tells the story of the evolution of American technology since World War II. His fascinating and surprising history links pop culture icons with landmarks in technological innovation and shows how postwar politics left their mark on everything from television, automobiles, and genetically engineered crops to contraceptives, Tupperware, and the Veg-O-Matic.Just as America's domestic and international policies became inextricably linked during the Cold War, so did the nation's public and private technologies. The spread of the suburbs fed into demands for an interstate highway system, which itself became implicated in urban renewal projects. Fear of slipping into a postwar economic depression was offset by the creation of "a consumers' republic" in which buying and using consumer goods became the ultimate act of citizenship and a symbol of an "American Way of Life." Pursell begins with the events of World War II and the increasing belief that technological progress and the science that supported it held the key to a stronger, richer, and happier America. He looks at the effect of returning American servicemen and servicewomen and the Marshall Plan, which sought to integrate Western Europe into America's economic, business, and technological structure. He considers the accumulating "problems" associated with American technological supremacy, which, by the end of the 1960s, led to a crisis of confidence.Pursell concludes with an analysis of how consumer technologies create a cultural understanding that makes political technologies acceptable and even seem inevitable, while those same political technologies provide both form and content for the technologies found at home and at work. By understanding this history, Pursell hopes to advance a better understanding of the postwar American self. 606 $aTechnology$xSocial aspects 606 $aTechnology$zUnited States$xHistory 615 0$aTechnology$xSocial aspects. 615 0$aTechnology$xHistory. 676 $a609.73 686 $aZG 8881$2rvk 700 $aPursell$b Carroll W$0621664 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910777923003321 996 $aTechnology in postwar America$93741780 997 $aUNINA