01539nam--2200445---450-99000266219020331620070216111449.084-7738-955-1000266219USA01000266219(ALEPH)000266219USA0100026621920050923d2003----km-y0itaa50------baspaESa|||z|||001yyCompendio de terminología químicarecomendaciones de la IUPACpreparado para su publicación por Alan D. McNaught y Andrew Wilkinsonversión española Salvador Senent Pérez ... [et al.]2. edMadridSíntesis2003736 p.ill.24 cmBiblioteca de químicas12In testa al front.: Unión internacional de química pura y aplicada2001Biblioteca de químicas122001Compendium of chemical terminology21755001------2001ChimicaTerminologia540.14McNAUGHT,Alan D.95625WILKINSON,Andrew155979SENENT PÉREZ,SalvadorITsalbcISBD990002662190203316II.6. 1316(II sp B 3 62)181644 L.M.II sp00180114BKUMAPECORARO9020050923USA011142PECORARO9020050923USA011144COPAT69020070216USA011114Compendium of chemical terminology21755UNISA01563nam0 2200361 i 450 SUN012412420191010095922.7680.00N978-981-10-5287-320191008d2017 |0engc50 baengSG|||| |||||*Temporal Network EpidemiologyNaoki Masuda, Petter Holme editorsSingapore : Springer, 2017vi342 p.ill. ; 24 cmPubblicazione in formato elettronico001SUN01241252001 *Theoretical Biology210 BerlinSpringer.92-XXBiology and other natural sciences [MSC 2020]MFSUNC02083992C05Biophysics [MSC 2020]MFSUNC02084292B20Neural networks for/in biological studies, artificial life and related topics [MSC 2020]MFSUNC02141400B15Collections of articles of miscellaneous specific interest [MSC 2020]MFSUNC02398592D30Epidemiology [MSC 2020]MFSUNC028389SGSingaporeSUNL000061Masuda, NaokiSUNV095588Holme, PetterSUNV095589SpringerSUNV000178650ITSOL20210503RICAhttp://doi.org/10.1007/978-981-10-5287-3SUN0124124UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 0932 08eMF932 20191008 Temporal Network Epidemiology1562527UNICAMPANIA02271oam 2200589zu 450 99621081820331620231110221823.03-662-21676-0(CKB)1000000000751035(SSID)ssj0000508723(PQKBManifestationID)12183167(PQKBTitleCode)TC0000508723(PQKBWorkID)10562778(PQKB)11207601(MiAaPQ)EBC3099502(Au-PeEL)EBL3099502(CaPaEBR)ebr10974403(OCoLC)934997347(EXLCZ)99100000000075103520160829d1997 uy engurcnu||||||||txtccrBounded variable logics and counting : a study in finite models1st ed.[Place of publication not identified]Springer19971 online resource (190 pages)Lecture notes in logic Bounded variable logics and counting Bibliographic Level Mode of Issuance: Monograph3-540-62037-0 Lecture Notes in Logic 9 Bounded Variable Logics and Counting A Study in Finite Models -- Bounded Variable Logics and Counting -- Copyright -- Preface -- Table of Contents -- 0. Introduction -- 1. Definitions and Preliminaries -- 2. The Games and Their Analysis -- 3. The Invariants -- 4. Fixed-Point Logic with Counting -- 5. Related Lindström Extensions -- 6. Canonization Problems -- 7. Canonization for Two Variables -- Bibliography -- Index.Lecture Notes in Logic BOUNDED VARIABLE LOGICS AND COUNTINGModel theoryComputational complexityMathematicsHILCCPhysical Sciences & MathematicsHILCCMathematical TheoryHILCCModel theoryComputational complexityMathematicsPhysical Sciences & MathematicsMathematical Theory511.3/3Otto Martin1225992PQKBBOOK996210818203316Bounded variable logics and counting : a study in finite models2846465UNISA