LEADER 01111nam--2200373---450- 001 990001906490203316 005 20070719090151.0 035 $a000190649 035 $aUSA01000190649 035 $a(ALEPH)000190649USA01 035 $a000190649 100 $a20040804d19151917km-y0itay0103----ba 101 0 $aita 102 $aIT 105 $a||||||||001yy 200 1 $a<> Bassa Valle della Mera$estudi petrografici e geologici$fEmilio Repossi 210 $aPavia$cFratelli Fusi$d1915-1917 215 $a2 v.$d28 cm 327 1 $a : 45 p. - : P. 46-185, [8] c. di tav. 410 0$12001 454 1$12001 461 1$1001-------$12001 700 1$aREPOSSI,$bEmilio$0565108 801 0$aIT$bsalbc$gISBD 912 $a990001906490203316 951 $aI Misc. R 6$b4597 L.M.$cI Misc. 951 $aI Misc. R 7$b4598 L.M.$cI Misc. 959 $aBK 969 $aUMA 979 $aSIAV7$b10$c20040804$lUSA01$h1629 979 $aCOPAT2$b90$c20050311$lUSA01$h1150 979 $aCOPAT6$b90$c20070719$lUSA01$h0901 996 $aBassa Valle della Mera$9954512 997 $aUNISA LEADER 03063oam 2200553 450 001 9910143648303321 005 20210715224018.0 010 $a3-540-48256-3 024 7 $a10.1007/3-540-48256-3 035 $a(CKB)1000000000211140 035 $a(SSID)ssj0000327170 035 $a(PQKBManifestationID)11230126 035 $a(PQKBTitleCode)TC0000327170 035 $a(PQKBWorkID)10301593 035 $a(PQKB)11045240 035 $a(DE-He213)978-3-540-48256-7 035 $a(MiAaPQ)EBC3073024 035 $a(MiAaPQ)EBC6485865 035 $a(PPN)155230301 035 $a(EXLCZ)991000000000211140 100 $a20210715d1999 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aTheorem proving in higher order logics $e12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings /$fYves Bertot [and four others], editors 205 $a1st ed. 1999. 210 1$aBerlin ;$aHeidelberg :$cSpringer,$d[1999] 210 4$d©1999 215 $a1 online resource (VIII, 364 p.) 225 1 $aLecture Notes in Computer Science ;$v1690 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-66463-7 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aRecent Advancements in Hardware Verification ? How to Make Theorem Proving Fit for an Industrial Usage -- Disjoint Sums over Type Classes in HOL -- Inductive Datatypes in HOL ? Lessons Learned in Formal-Logic Engineering -- Isomorphisms ? A Link Between the Shallow and the Deep -- Polytypic Proof Construction -- Recursive Function Definition over Coinductive Types -- Hardware Verification Using Co-induction in COQ -- Connecting Proof Checkers and Computer Algebra Using OpenMath -- A Machine-Checked Theory of Floating Point Arithmetic -- Universal Algebra in Type Theory -- Locales A Sectioning Concept for Isabelle -- Isar ? A Generic Interpretative Approach to Readable Formal Proof Documents -- On the Implementation of an Extensible Declarative Proof Language -- Three Tactic Theorem Proving -- Mechanized Operational Semantics via (Co)Induction -- Representing WP Semantics in Isabelle/ZF -- A HOL Conversion for Translating Linear Time Temporal Logic to ?-Automata -- From I/O Automata to Timed I/O Automata -- Formal Methods and Security Evaluation -- Importing MDG Verification Results into HOL -- Integrating Gandalf and HOL -- Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving -- Symbolic Functional Evaluation. 410 0$aLecture notes in computer science ;$v1690. 606 $aAutomatic theorem proving$vCongresses 615 0$aAutomatic theorem proving 676 $a004.015113 702 $aBertot$b Yves 712 12$aTPHOLs '99 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bUtOrBLW 906 $aBOOK 912 $a9910143648303321 996 $aTheorem Proving in Higher Order Logics$9772309 997 $aUNINA LEADER 03292oam 22006374a 450 001 9910779111703321 005 20170821180135.0 010 $a0-8262-7280-0 035 $a(CKB)2550000000105266 035 $a(EBL)3440798 035 $a(SSID)ssj0000743310 035 $a(PQKBManifestationID)11401457 035 $a(PQKBTitleCode)TC0000743310 035 $a(PQKBWorkID)10827636 035 $a(PQKB)11406029 035 $a(MiAaPQ)EBC3440798 035 $a(OCoLC)868217992 035 $a(MdBmJHUP)muse26872 035 $a(EXLCZ)992550000000105266 100 $a20130808e20132012 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aIf You Were Only White$eThe Life of Leroy "Satchel" Paige /$fDonald Spivey 210 1$aColumbia, Mo. :$cUniversity of Missouri Press,$d2012 210 3$aBaltimore, Md. :$cProject MUSE, $d2014 210 4$d©2012 215 $a1 online resource (376 p.) 225 0 $aSports and American culture series 300 $aDescription based upon print version of record. 311 $a0-8262-1978-0 320 $aIncludes bibliographical references (p. 319-333) and index. 327 $aWarm-ups: a prelude -- Without a Satchel -- On the mount -- "If you were only white" -- Turning the Paige -- Blackballing the Great Depression -- How the West was won -- Baseball diplomacy -- The fugitive -- Lazarus -- Double V -- Integration -- Center stage in the white arena -- Ninth inning -- Extra innings. 330 $aExplores the legacy of one of the most exceptional athletes ever--an entertainer extraordinaire, a daring showman and crowd-pleaser, a wizard with a baseball whose artistry and antics on the mound brought fans out in the thousands to ballparks across the country. Leroy "Satchel" Paige was arguably one of the world's greatest pitchers and a premier star of Negro Leagues Baseball. But in this biography Donald Spivey reveals Paige to have been much more than just a blazing fastball pitcher. Spivey follows Paige from his birth in Alabama in 1906 to his death in Kansas City in 1982, detailing the challenges Paige faced battling the color line in America and recounting his tests and triumphs in baseball. He also opens up Paige's private life during and after his playing days, introducing readers to the man who extended his social, cultural, and political reach beyond the limitations associated with his humble background and upbringing. 410 0$aSports and American culture series. 606 $aNegro leagues$xHistory 606 $aDiscrimination in sports$zUnited States 606 $aPitchers (Baseball)$zUnited States$vBiography 606 $aAfrican American baseball players$zUnited States$vBiography 606 $aBaseball players$zUnited States$vBiography 608 $aElectronic books. 615 0$aNegro leagues$xHistory. 615 0$aDiscrimination in sports 615 0$aPitchers (Baseball) 615 0$aAfrican American baseball players 615 0$aBaseball players 676 $a796.357092 700 $aSpivey$b Donald$01525339 801 0$bMdBmJHUP 801 1$bMdBmJHUP 906 $aBOOK 912 $a9910779111703321 996 $aIf You Were Only White$93766672 997 $aUNINA