01049nam0-22003131i-450-99000362825040332120140219102004.0000362825FED01000362825(Aleph)000362825FED0100036282520030910d1854----km-y0itay50------baitaITy-------001yyDegli Archivii napolitanidiscorso del Marchese Angelo Granito principe di Belmonte, sopraintendente generale degli archivi del RegnoNapoliTipografia di Ferdinando Raimondi1854120 p., [1] c. di tav. ripieg.27 cmEstratto da: Legislazione positiva degli Archivii del Regno..., Napoli, 1854Granito,Angelo,Principe di Belmonte39412ITUNINARICAUNIMARCBK990003628250403321SE 043.08.012-013050DECSE09.661.83978DARSTDECSEDARSTDegli Archivii napolitani503676UNINA02129nam0 2200541 i 450 VAN0005575420250603022001.46035-406-0149-X978-35-406-0149-420061110d1995 |0itac50 baengDE|||| |||||i e nncFinite model theoryHeinz-Dieter Ebbinghaus, Jörg FlumBerlinSpringer1995xv, 327 p.ill.25 cm001VAN000508172001 Perspectives in mathematical logic210 BerlinSpringer03C13Model theory of finite structures [MSC 2020]VANC024491MF03C80Logic with extra quantifiers and operators [MSC 2020]VANC024415MF03D15Complexity of computation [MSC 2020]VANC023630MF68P15Database theory [MSC 2020]VANC023737MFAlgorithm analysis and problem complexityKW:KAutomataKW:KBoolean satisfiability problemKW:KComplexityKW:KComplexity theoryKW:KFinite model theoryKW:KFixed-point logicsKW:KLogicKW:KModel theoryKW:KOptimizationKW:KTheory of complexityKW:KBerlinVANL000066EbbinghausHeinz-DieterVANV02440946491FlumJörgVANV044268Springer <editore>VANV108073650Ebbinghaus, H.-D.Ebbinghaus, Heinz-DieterVANV044267Flum, JorgFlum, JörgVANV062007ITSOL20250606RICA/sebina/repository/catalogazione/documenti/ID 55754.pdfID 55754.pdfBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00055754BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1251 08 4482 II 20061110 Finite model theory374545UNICAMPANIA