LEADER 01935nam 2200433 450 001 000012353 005 20050718115400.0 010 $a3-540-63745-1 100 $a20030414d1997----km-y0itay0103----ba 101 0 $aeng 102 $aDE 200 1 $aBanach spaces of vector-valued functions$fPilar Cembranos, José Mendoza 210 $aBerlin [etc.]$cSpringer$dc1997 215 $aVIII, 118 p.$d24 cm. 225 2 $aLecture notes in mathematics$v1676 410 0$12001$aLecture notes in mathematics 606 $aSpazio di Banach 676 $a515.732$v(21. ed.)$9Analisi funzionale. Spazi di Banach 691 $a46E40$9Functional analysis. Linear function spaces and their duals. Spaces of vector- and operator- valued functions 691 $a46B20$9Functional analysis. Normed linear spaces and Banach spaces; Banach lattices. Geometry and structure of normed linear spaces 691 $a28B05$9Measure and integration. Set functions, measures and integrals with values in abstract spaces. Vector-valued set functions, measures and integrals 700 1$aCembranos,$bPilar$0441046 701 1$aMendoza,$bJosé$0756990 801 0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc 912 $a000012353 996 $aBanach spaces of vector-valued functions$91526802 997 $aUNIBAS BAS $aMONSCI BAS $aSCIENZE CAT $aEXT003$b01$c20030414$lBAS01$h1748 CAT $aEXT003$b01$c20030508$lBAS01$h1607 CAT $c20050601$lBAS01$h1755 CAT $abatch$b01$c20050718$lBAS01$h1051 CAT $c20050718$lBAS01$h1110 CAT $c20050718$lBAS01$h1140 CAT $c20050718$lBAS01$h1154 FMT Z30 -1$lBAS01$LBAS01$mBOOK$1BASA5$ADipartimento Matematica$2GEN$BCollezione generale$3MAT$64734$5M4734$820030414$f51$FRiservati Z30 -1$lBAS01$LBAS01$mBOOK$1BASA5$ADipartimento Matematica$2GEN$BCollezione generale$3MAT$64986$5M4986$820030718$f51$FRiservati LEADER 00738nam a2200241 i 4500 001 991004331633207536 005 20240708135059.0 008 240703q19241929it a er 000 0 ita d 040 $aBibl. Interfacoltà T. Pellegrino$bita$cSocioculturale Scs 041 0 $aita 082 04$a945.33$223 082 04$a914.533$223 100 1 $aPecchiai, Pio$05715 245 10$aComo :$bla regina del Lario /$cPio Pecchiai 260 $aMilano :$bSonzogno,$c[1924-1929?] 300 $a16 p. :$bill. ;$c30 cm 490 1 $aLe cento città d'italia illustrate ;$v48 500 $aIn cartella 651 4$aComo$vGuide 830 3$aLe cento città d'italia illustrate ;$v48 912 $a991004331633207536 996 $aComo$94170018 997 $aUNISALENTO LEADER 03795nam 22007935 450 001 9910409668103321 005 20251225183533.0 010 $a3-030-48006-2 024 7 $a10.1007/978-3-030-48006-6 035 $a(CKB)4100000011263834 035 $a(MiAaPQ)EBC6208511 035 $a(DE-He213)978-3-030-48006-6 035 $a(PPN)248394673 035 $a(EXLCZ)994100000011263834 100 $a20200522d2020 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFields of Logic and Computation III $eEssays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday /$fedited by Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (x, 341 pages) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v12180 311 08$a3-030-48005-4 327 $aComputation -- Logic -- Verification -- Topos theory. -Parallel Computing -- Tree -- Gurevich conjecture -- Arabic algorithms -- Hyperbolic group -- Lattice-ordered group -- Temporal logic -- Metric logic -- Random convergence -- Knot theory -- Entropic convergence -- Random access machine, PTIME -- Algorithmic randomness. . 330 $aThis Festschrift is published in honor of Yuri Gurevich?s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18?20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri?s 80th birthday. Because of the coronavirus situation, the conference had to be postponed, but this Festschrift is being published as originally planned. It addresses a very wide variety of topics, but by no means all of the fields of logic and computation in which Yuri has made important progress. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v12180 606 $aComputer programming 606 $aData structures (Computer science) 606 $aInformation theory 606 $aComputer networks 606 $aComputers, Special purpose 606 $aLogic programming 606 $aSoftware engineering 606 $aProgramming Techniques 606 $aData Structures and Information Theory 606 $aComputer Communication Networks 606 $aSpecial Purpose and Application-Based Systems 606 $aLogic in AI 606 $aSoftware Engineering 615 0$aComputer programming. 615 0$aData structures (Computer science). 615 0$aInformation theory. 615 0$aComputer networks. 615 0$aComputers, Special purpose. 615 0$aLogic programming. 615 0$aSoftware engineering. 615 14$aProgramming Techniques. 615 24$aData Structures and Information Theory. 615 24$aComputer Communication Networks. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aLogic in AI. 615 24$aSoftware Engineering. 676 $a004.015113 676 $a005.1015113 702 $aBlass$b Andreas$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCégielski$b Patrick$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDershowitz$b Nachum$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDroste$b Manfred$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFinkbeiner$b Bernd$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910409668103321 996 $aFields of Logic and Computation III$92227010 997 $aUNINA