LEADER 01783nam0 2200433 i 450 001 VAN00114602 005 20240806100752.171 017 70$2N$a978-3-319-31803-5 100 $a20180207d2016 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aDependence logic$etheory and applications$fSamson Abramsky ... [et al.] editors 210 $a[Cham]$cBirkhäuser$cSpringer$d2016 215 $aXIV, 276 p.$cill.$d24 cm 500 1$3VAN00242085$aDependence logic$91523259 606 $a03B16$xHigher-order logic [MSC 2020]$3VANC024531$2MF 606 $a03B38$xType theory [MSC 2020]$3VANC035911$2MF 606 $a03B70$xLogic in computer science [MSC 2020]$3VANC024541$2MF 606 $a03C80$xLogic with extra quantifiers and operators [MSC 2020]$3VANC024415$2MF 610 $aDependence Atoms$9KW:K 610 $aDependence Logic$9KW:K 610 $aDependencies in Databases$9KW:K 610 $aIndependence Logic$9KW:K 610 $aInquisitive Logic$9KW:K 610 $aSocial Choice Theorem$9KW:K 610 $aTheory of Secret-Sharing$9KW:K 620 $aCH$dCham$3VANL001889 702 1$aAbramsky$bSamson$3VANV040029 712 $aBirkhäuser $3VANV108193$4650 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240906$gRICA 856 4 $uhttp://dx.doi.org/10.1007/978-3-319-31803-5$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$2VAN15 912 $fN 912 $aVAN00114602 950 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS SBA EBOOK 2195 $e15EB 2195 20180207 996 $aDependence logic$91523259 997 $aUNICAMPANIA LEADER 02107nam0 22004693i 450 001 VAN00295824 005 20250919121258.787 017 70$2N$a9783034877626 100 $a20250701d1996 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 181 $ai$b e 182 $ab 183 $acr 200 1 $aC0-Groups, Commutator Methods and Spectral Theory of N-Body Hamiltonians$fWerner O. Amrein, Anne Boutet de Monvel, Vladimir Georgescu 210 $aBasel [etc.] $cSpringer$cBirkhäuser$d1996 215 $axiv, 460 p.$d24 cm 410 1$1001VAN00029329$12001 $aProgress in mathematics$1210 $aBoston [etc.]$cBirkhäuser$d1970-$v135 606 $a46-XX$xFunctional analysis [MSC 2020]$3VANC019764$2MF 606 $a47-XX$xOperator theory [MSC 2020]$3VANC019759$2MF 606 $a47N50$xApplications of operator theory in the physical sciences [MSC 2020]$3VANC029010$2MF 606 $a81U10$xn-body potential quantum scattering theory [MSC 2020]$3VANC037257$2MF 610 $aAlgebra$9KW:K 610 $aCalculus$9KW:K 610 $aFunctional Analysis$9KW:K 610 $aPartial Differential Equations$9KW:K 610 $aQuantum mechanics$9KW:K 620 $aCH$dBasel$3VANL002076 700 1$aAmrein$bWerner O.$3VANV251815$044322 701 1$aBoutet De Monvel$bAnne$3VANV251816$056562 701 1$aGeorgescu$bVladimir$3VANV206955$061134 712 $aBirkhäuser $3VANV108193$4650 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20250926$gRICA 856 4 $uhttps://doi.org/10.1007/978-3-0348-7762-6$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN00295824 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-Book 12055 $e08eMF12055 20250731 996 $aC0-Groups, Commutator Methods and Spectral Theory of N-Body Hamiltonians$94399713 997 $aUNICAMPANIA