00867nam0-22003011i-450 99000499452040332120240325170126.0FED01000499452(Aleph)000499452FED0100049945219990530h19471947km-y0itay50------baitay-------001yyRestauri Trecenteschidi Ettore Li GottiPalermoG.B. Palumbo(stampa 1947)157 p.21 cmSaggi di letteratura italiana9Li Gotti,Ettore<1910-1956>182509ITUNINARICAUNIMARCBK990004994520403321ID 220Fil. Mod.10855FLFBCBIB. BAT.41022067BATBIB. BAT.4102(bis)1035BATFLFBCBATRestauri Trecenteschi530725UNINA01780nam0 2200433 i 450 VAN011460220220303122547.162N978-3-319-31803-520180207d2016 |0itac50 baengCH|||| |||||Dependence logictheory and applicationsSamson Abramsky ... [et al.] editors[Cham]BirkhäuserSpringer2016XIV, 276 p.ill.24 cmVAN0242085Dependence logic152325903C80Logic with extra quantifiers and operators [MSC 2020]VANC024415MF03B16Higher-order logic [MSC 2020]VANC024531MF03B70Logic in computer science [MSC 2020]VANC024541MF03B38Type theory [MSC 2020]VANC035911MFDependence AtomsKW:KDependence LogicKW:KDependencies in DatabasesKW:KIndependence LogicKW:KInquisitive LogicKW:KSocial Choice TheoremKW:KTheory of Secret-SharingKW:KCHChamVANL001889AbramskySamsonVANV040029Birkhäuser <editore>VANV108193650Springer <editore>VANV108073650ITSOL20240614RICAhttp://dx.doi.org/10.1007/978-3-319-31803-5E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA CENTRO DI SERVIZIO SBAVAN15NVAN0114602BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 2195 15EB 2195 20180207 Dependence logic1523259UNICAMPANIA